Quantcast
MS
351 views this week
Moses Schönfinkel

Moses Schönfinkel Russian mathematician

Russian mathematician
The basics
Quick Facts
Intro Russian mathematician
A.K.A. Moisei Isai'evich Sheinfinkel'
Countries Russian Empire Soviet Union
Occupations Mathematician Philosopher
Gender male
Birth 4 September 1889 (Dnipro)
Death 1942 (Moscow)
Star sign VirgoVirgo
Education Odessa University
Notable Works Bernays–Schönfinkel class
The details
Biography

Moses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' (Russian: Моисей Исаевич Шейнфинкель; 4 September 1889 – 1942), was a Russian logician and mathematician, known for the invention of combinatory logic.

Life

Schönfinkel attended the Novorossiysk University of Odessa, studying mathematics under Samuil Osipovich Shatunovskii (1859–1929), who worked in geometry and the foundations of mathematics. From 1914 to 1924, Schönfinkel was a member of David Hilbert's group at the University of Göttingen. On 7 December 1920 he delivered a talk to the group where he outlined the concept of combinatory logic. Heinrich Behmann, a member of Hilbert's group, later revised the text and published it in 1924. In 1929, Schönfinkel had one other paper published, on special cases of the decision problem (Entscheidungsproblem), that was prepared by Paul Bernays.

After he left Göttingen, Schönfinkel returned to Moscow. By 1927 he was reported to be mentally ill and in a sanatorium. His later life was spent in poverty, and he died in Moscow some time in 1942. His papers were burned by his neighbors for heating.

Work

Schönfinkel developed a formal system that avoided the use of bound variables. His system was essentially equivalent to a combinatory logic based upon the combinators B, C, I, K, and S. Schönfinkel was able to show that the system could be reduced to just K and S and outlined a proof that a version of this system had the same power as predicate logic.

His paper also showed that functions of two or more arguments could be replaced by functions taking a single argument. This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry. While Curry attributed the concept to Schönfinkel, it had already been used by Frege.

Publications

  • Moses Schönfinkel (1924). "Über die Bausteine der mathematischen Logik". Mathematische Annalen (in German). 92: 305–316. doi:10.1007/bf01448013. – 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.
  • Paul Bernays; Moses Schönfinkel (1929). "Zum Entscheidungsproblem der mathematischen Logik" (PDF). Mathematische Annalen (in German). 99: 342–372. doi:10.1007/bf01459101.
The contents of this page are sourced from Wikipedia article. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
Sources
References
http://doi.org/10.1007%2Fbf01448013
http://doi.org/10.1007%2Fbf01459101
http://doi.org/10.1023%2FA:1010000313106
http://doi.org/10.1023%2FA:1010027404223
http://doi.org/10.2307%2F2268665
http://www.jstor.org/stable/2268665
http://gdz.sub.uni-goettingen.de/download/PPN235181684_0099/PPN235181684_0099___LOG_0022.pdf
http://www.digizeitschriften.de/dms/img/?PID=GDZPPN002270110
http://www.sadl.uleth.ca/cgi-bin/library?e=d-00000-00---off-0curry--00-0--0-10-0---0---0prompt-10---4-------0-1l--11-en-50---20-about---00-0-1-00-0-0-11-1-0utfZz-8-00&a=d&cl=CL1.8&d=T271128A
https://d-nb.info/gnd/1069803960
https://viaf.org/viaf/315940059
arrow-left arrow-right arrow-up arrow-down instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube stumbleupon comments comments pandora gplay iheart tunein pandora gplay iheart tunein itunes