Moses Schönfinkel

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 82.67.232.89 (talk) at 21:37, 29 September 2007 (iwk (oops)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Moses Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' Шейнфинкель (September 4, 1889 Ekaterinoslav (now Dnipropetrovsk, Ukraine) – 1942, Moscow) was a Jewish/Soviet logician and mathematician.

He attended the Novorossiysk University of Odessa, where he studied mathematics with Samuil Osipovich Shatunovskii (1859-1929), who worked in geometry and the foundations of mathematics. From 1914 to 1924, Schönfinkel worked at the University of Göttingen with David Hilbert's group.

In a talk given at Göttingen in 1920, Schönfinkel invented combinatory logic, which was further developed by Haskell Curry who studied under Hilbert in the late 1920s. Heinrich Behmann revised the text of this talk and published it in 1924. It also introduced the operation now called currying, named after Curry. Schönfinkel wrote nothing else about combinatory logic; its entire subsequent development was the work of others.

Schönfinkel published a 1929 article with Paul Bernays on the decision problem ("Entscheidungsproblem") for mathematical logic. He returned to the USSR before 1939, and died in Moscow in 1942. The precise date of his death is unknown.

References

  • 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305-316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press: 355-66.
  • 1929. (with Paul Bernays) "Zum Entscheidungsproblem der mathematischen Logik," Mathematische Annalen 99: 342-72.