Moses Schönfinkel
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/89/%D0%A4%D0%BE%D1%82%D0%BE%D0%B3%D1%80%D0%B0%D1%84%D0%B8%D1%8F_%D0%9C%D0%BE%D0%B8%D1%81%D0%B5%D1%8F_%D0%A8%D0%B5%D0%B9%D0%BD%D1%84%D0%B8%D0%BD%D0%BA%D0%B5%D0%BB%D1%8F.png/260px-%D0%A4%D0%BE%D1%82%D0%BE%D0%B3%D1%80%D0%B0%D1%84%D0%B8%D1%8F_%D0%9C%D0%BE%D0%B8%D1%81%D0%B5%D1%8F_%D0%A8%D0%B5%D0%B9%D0%BD%D1%84%D0%B8%D0%BD%D0%BA%D0%B5%D0%BB%D1%8F.png)
Naissance | ![]() Dnipro ![]() |
---|---|
Décès | ![]() Moscou ![]() |
Nationalité | |
Formation | |
Activités | Mathématicien, logicien ![]() |
A travaillé pour | |
---|---|
Maître | David Hilbert ![]() |
modifier - modifier le code - modifier Wikidata
![](http://upload.wikimedia.org/wikipedia/commons/9/97/Schonfinkel.gif)
Moses Schönfinkel (en russe : Моисей Эльевич Шейнфинкель, Moisseï Elievitch Cheïnfinkel) est un logicien et mathématicien juif soviétique né le à Ekaterinoslav (aujourd’hui Dnipro, en Ukraine) et mort en 1942 à Moscou.
C'est à l'université de Novorossiysk à Odessa qu'il étudie les mathématiques avec Samuil Osipovich Shatunovskii (en) (1859-1929) qui lui 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 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. Malade, il est placé en sanatorium. Retourné en URSS en 1939, il meurt misérablement à Moscou en 1942, sans que l'on connaisse la date précise de sa mort. Ses écrits sont utilisés comme combustible par ses voisins.
Voir aussi
- Classe de Bernays-Schönfinkel
- Biographie détaillé : (en) Stephen Wolfram, « Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel »,
Bibliographie
- 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.
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Moses Schönfinkel » (voir la liste des auteurs).
Liens externes
- Notice dans un dictionnaire ou une encyclopédie généraliste
:
- Deutsche Biographie
- Notices d'autorité
:
- VIAF
- GND
Portail des mathématiques
Portail de la logique
Portail de la Russie