Moses Schönfinkel

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 (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 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]