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
- ^ 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
- 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
- Circuito combinatorio
Collegamenti esterni
- 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) Denis Howe, combinatory logic, in Free On-line Dictionary of Computing. 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 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f5/Owl_of_Minerva.png/21px-Owl_of_Minerva.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Computer_n_screen.svg/24px-Computer_n_screen.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)