Logica combinatoria

La logica combinatoria è un approccio per eliminare la necessità di variabili quantificate nella logica matematica in connessione con il lambda calcolo. È stato introdotto da Moses Schönfinkel e Haskell Curry.^[1]^[2] Ora è stato utilizzato anche in informatica come modello di calcolo e come base per la progettazione di linguaggi di programmazione funzionale.

Il concetto di combinatorio introdotto da Schönfinkel nel 1920 utilizza "combinatori" che forniscono un modo per costruire funzioni e rimuovere qualsiasi menzione di variabili nella logica dei predicati.^[1] Un combinatore è una funzione di ordine superiore che utilizza solo l'applicazione di funzioni e combinatori definiti in precedenza per definire un risultato dai suoi argomenti.^[3]

Note modifica

^ ^a ^b Schönfinkel, Moses, 1924, "Über die Bausteine der mathematischen Logik," translated as "On the Building Blocks of Mathematical Logic" in From Frege to Gödel: a source book in mathematical logic, 1879–1931, Jean van Heijenoort, ed. Harvard University Press, 1967. ISBN 0-674-32449-8.
^ Haskell Curry "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). The Johns Hopkins University Press. 52 (3): 509–536
^ John Tromp, "Binary Lambda Calculus and Combinatory Logic" in Calude, Cristian S. (ed.). Randomness And Complexity, from Leibniz To Chaitin. World Scientific Publishing Company 2016.

Bibliografia modifica

Haskell Curry, Robert Feys Combinatory Logic. Vol. I. Amsterdam: North Holland 1958. ISBN 0-7204-2208-6.
Haskell Curry, Roger Hindley, Jonathan Seldin. Combinatory Logic. Vol. II. Amsterdam: North Holland 1972. ISBN 0-7204-2208-6.
J. Roger Hindley, B. Lercher, J. P. Seldin "Introduction to Combinatory Logic" Cambridge University Press, 1972

Voci correlate modifica

Circuito combinatorio

Collegamenti esterni modifica

Logica combinatoria, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) Combinatory Logic, su Stanford Encyclopedia of Philosophy.
(EN) Eric W. Weisstein, Combinatory Logic, su MathWorld, Wolfram Research.
(EN) Combinatory logic, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
(EN) combinatory logic, in Free On-line Dictionary of Computing, Denis Howe. Disponibile con licenza GFDL

Controllo di autorità	Thesaurus BNCF 18997 · LCCN (EN) sh85028814 · GND (DE) 4164750-6 · BNF (FR) cb119473722 (data) · J9U (EN, HE) 987007543265905171

Portale Filosofia

Portale Informatica

Portale Matematica

[Mose-1] Schönfinkel, Moses, 1924, "Über die Bausteine der mathematischen Logik," translated as "On the Building Blocks of Mathematical Logic" in From Frege to Gödel: a source book in mathematical logic, 1879–1931, Jean van Heijenoort, ed. Harvard University Press, 1967. ISBN 0-674-32449-8.

[2] Haskell Curry "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). The Johns Hopkins University Press. 52 (3): 509–536

[3] John Tromp, "Binary Lambda Calculus and Combinatory Logic" in Calude, Cristian S. (ed.). Randomness And Complexity, from Leibniz To Chaitin. World Scientific Publishing Company 2016.

[1]

[2]

[3]