Moses Schönfinkel

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

He studied mathematics at the University of New Russian in Odessa and occupied himself there, along with Samuil Schatunowski, with problems of geometry and the foundations of mathematics. In 1914 he went to the University of Göttingen, where he remained until 1924, and together worked with David Hilbert.

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

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

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

Publications

• "On the building blocks of mathematical logic ", Mathematische Annalen 92, pp. 305-316, digitized
• "For the decision problem of mathematical logic ", Mathematische Annalen 99, pp. 342-372 in collaboration with Paul Bernays.Digitalisat

• Russian
• Born in 1889
• Died in 1942
• Mathematical logician ( 20th century)
• Man
• Person (Dnepropetrovsk )