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.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 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.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. 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.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.
Note
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
Categoria:Logica