Moses Schönfinkel

Moses Schönfinkel , so known like Moisei Isai' evich Sheinfinkel' Шейнфинкель (September 4th, 1889 Ekaterinoslav (now Dnipropetrovsk, Ukraine ) – 1942, Moscow) was a Logicien and Soviet Mathématicien Juif .

It was student with the Université of Novorossiysk to Odessa, where it studied mathematics with Samuil Osipovich Shatunovskii (1859-1929) which taught the Géométrie and the foundations of mathematics. From 1914 to 1924, Schönfinkel worked with the Université of Göttingen with group David Hilbert.

In a presentation given to Göttingen in 1920, Schönfinkel invented the Combinatory logic , which was then developed by Haskell Curry which studied with David Hilbert at the end of the Twenties. Heinrich Behmann revised the text of this presentation and published it in 1924. Schönfinkel has too introduced the named operation Curryfication according to Curry. Schönfinkel did not write anything of other on the combinatory logic. Its development was then the work of other people.

Schönfinkel published in 1929 an article with Paul Bernays on the Problème of the decision (" Entscheidungsproblem") in mathematical logic. It is turned over to the USSR in 1939 and died in Moscow in 1942. The exact date of its death is not known.

References

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

Source

Random links: