Moses Schönfinkel

Un article de Wikipédia, l'encyclopédie libre.

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.

A 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.

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 20. Cette conférence révisée par Heinrich Behmann a été publiée en 1924. Schönfinkel y introduit, entre autre, 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.

[modifier] Références

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.