Moses Schönfinkel

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Moses Schönfinkel
Фотография Моисея Шейнфинкеля.png
Biographie
Naissance
Décès
Nationalités
Formation
Activités

Moses Schönfinkel, connu aussi sous le nom de Moisei Isai'evich Sheinfinkel' Шейнфинкель (4 septembre 1889 Ekaterinoslav (maintenant Dnipropetrovsk, Ukraine) – 1942, Moscou) est un logicien et mathématicien juif soviétique.

À l'université de Novorossiysk à Odessa, il étudie les mathématiques avec Samuil Osipovich Shatunovskii (en) (1859-1929) qui enseigne la géométrie et les fondations des mathématiques. De 1914 à 1924, Schönfinkel est à l'université de Göttingen dans le groupe de David Hilbert.

Moses Schönfinkel

Dans une présentation donnée à Göttingen en 1920, Schönfinkel invente la logique combinatoire, développée par la suite par Haskell Curry, étudiant de David Hilbert à la fin des années 1920. Cette conférence révisée par Heinrich Behmann (en) a été publiée en 1924. Schönfinkel y introduit, entre autres, l'opération appelée depuis curryfication.

Schönfinkel a publié en 1929 un article avec Paul Bernays sur le problème de la décision ("Entscheidungsproblem") en logique mathématique. Retourné en URSS en 1939, il meurt à Moscou en 1942, sans que l'on connaisse la date précise de sa mort.

Références[modifier | modifier le code]

  • 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, p. 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.

Source[modifier | modifier le code]