Moses Schönfinkel

Moses Schönfinkel

Moses Isajewitsch Schönfinkel ( Russian Моисей Исаевич Шейнфинкель , scientific transliteration Moisej Isaevič Šejnfinkel ' ; born September 4, 1889 in Jekaterinoslaw ; † 1942 in Moscow ) was a Ukrainian / Soviet logician .

He studied mathematics at the New Russian University in Odessa and worked there, together with Samuil Schatunowski , with problems of geometry and the fundamentals of mathematics . In 1914 he went to the University of Göttingen , where he stayed until 1924 and worked with David Hilbert , among others .

He designed the combinatorial logic and thereby influenced Haskell Curry . He published the results of his work in 1924 under the title On the building blocks of mathematical logic , edited by Heinrich Behmann . This article describes exactly what is now known as currying (after curry). Schönfinkel himself later did not develop his work on combinatorial logic any further.

Together with Paul Bernays he published the decision problem of mathematical logic in 1929 .

Schönfinkel returned to the Soviet Union before the outbreak of World War II and died in Moscow in 1942. The circumstances and exact dates of his death are unknown.

Publications

• "About the building blocks of mathematical logic", Mathematische Annalen 92 (1924), pp. 305-316. Digitized
• "To the decision problem of mathematical logic", Mathematische Annalen 99 , pp. 342–372 in collaboration with Paul Bernays. Digitized