|
|
Moses Schönfinkel was a Russian logician. He invented combinatory logic independently of, and a little earlier than, Haskell Curry. Schönfinkel published his logic in Über die Bausteine der mathematischen Logik[1] (http:#References) in 1924. The article also introduced what is now called currying after Haskell Curry, the terminology Schönfinkeling having found few adherents.
Unlike Haskell Curry, he appears not to have developed combinatory logic any further.
References
- "Über die Bausteine der mathematischen Logik", Moses Schönfinkel, Mathematische Annalen 92, p. 305, 1924, translated as "On the Building Blocks of Mathematical Logic" in From Frege to Gödel: a source book in mathematical logic, 1879-1931, ed. Jean van Heijenoort, Harvard University Press, 1977. ISBN 0674324498 The original publication of combinatory logic.