Moses Schönfinkel - Moses Schönfinkel
Moses Iljitsch Schönfinkel | |
---|---|
Geboren |
|
29. September 1888
Ist gestorben | 1942 (im Alter von 53–54) |
Staatsangehörigkeit | Russisch |
Staatsbürgerschaft | Russisch |
Alma Mater | Universität Noworossijsk |
Bekannt für |
Kombinatorische Logik Technik für bindende Argumente Bernays–Schönfinkel-Klasse |
Wissenschaftlicher Werdegang | |
Felder | Mathematik |
Institutionen | Universität Göttingen |
Einflüsse | David Hilbert |
Beeinflusst | Haskell-Curry |
Moses Iljitsch Schönfinkel , auch bekannt als Moisei Isai'evich Sheinfinkel' (russisch: Моисей Исаевич Шейнфинкель ; 29. September 1888 – 1942), war ein russischer Logiker und Mathematiker , bekannt für die Erfindung der kombinatorischen Logik .
Leben
Schönfinkel besuchte die Novorossiysk University of Odessa und studierte Mathematik bei Samuil Osipovich Shatunovskii (1859-1929), der sich mit Geometrie und den Grundlagen der Mathematik beschäftigte . Von 1914 bis 1924 war Schönfinkel Mitglied der Gruppe von David Hilbert an der Universität Göttingen in Deutschland . Am 7. Dezember 1920 hielt er vor der Gruppe einen Vortrag mit dem Titel Elemente der Logik, in dem er das Konzept der kombinatorischen Logik skizzierte . Heinrich Behmann , ein Mitglied von Hilberts Gruppe, überarbeitete den Text später und veröffentlichte ihn 1924. 1928 ließ Schönfinkel eine weitere Arbeit über Spezialfälle des Entscheidungsproblems veröffentlichen, die von Paul Bernays erstellt wurde .
Nachdem er Göttingen verlassen hatte, kehrte Schönfinkel nach Moskau zurück. 1927 wurde er als geisteskrank und in einem Sanatorium gemeldet. Sein späteres Leben verbrachte er in Armut und starb 1942 in Moskau. Seine Papiere wurden von seinen Nachbarn zum Heizen verbrannt.
Arbeit
Schönfinkel entwickelte ein formales System, das die Verwendung von gebundenen Variablen vermeidet . Sein System entsprach im Wesentlichen einer kombinatorischen Logik, die auf den Kombinatoren B , C , I , K und S beruhte . Schönfinkel konnte zeigen , dass das System nur auf K und S reduziert werden kann und skizzierte einen Beweis dafür , dass eine Version dieses Systems die gleiche Macht wie die Prädikatenlogik hat .
Seine Arbeit zeigte auch, dass Funktionen von zwei oder mehr Argumenten durch Funktionen ersetzt werden können, die ein einziges Argument annehmen. Dieser Ersetzungsmechanismus vereinfacht die Arbeit sowohl in der kombinatorischen Logik als auch in der Lambda-Kalküle und wird später nach Haskell Curry Currying genannt . Während Curry den Begriff Schönfinkel zuschrieb, wurde er bereits von Frege verwendet (ein Beispiel für das Stiglersche Gesetz ).
Die gesamte bekannte veröffentlichte Ausgabe von Schönfinkel besteht aus nur zwei Aufsätzen: seinem 1924 On the Building Blocks of Mathematical Logic , und einem weiteren 31-seitigen Aufsatz aus dem Jahr 1927 und veröffentlicht 1928, gemeinsam mit Paul Bernays verfasst, mit dem Titel Zum Entscheidungsproblem der mathematischen Logik ( On das Entscheidungsproblem der mathematischen Logik ).
Veröffentlichungen
- Moses Schönfinkel (1924). "Über die Bausteine der mathematischen Logik" . Mathematische Annalen . 92 (3–4): 305–316. doi : 10.1007/bf01448013 . S2CID 118507515 .– Übersetzt von Stefan Bauer-Mengelberg als „Über die Bausteine der mathematischen Logik“ in Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879–1931 . Harvard University Press , S. 355–66.
- Paul Bernays ; Moses Schönfinkel (1928). "Zum Entscheidungsproblem der mathematischen Logik" (PDF) . Mathematische Annalen . 99 : 342–372. doi : 10.1007/bf01459101 . S2CID 122312654 .
Siehe auch
Weiterlesen
- Wolfram, Stephan (2021). "Woher kamen Kombinatoren? Auf der Jagd nach der Geschichte von Moses Schönfinkel". Kombinatoren: Eine Jahrhundertansicht . Wolfram-Medien . S. 213–277 (Nachtrag 281–294). ISBN 978-1-57955-043-1.e ISBN 978-1-57955-044-8 . Ein Fest der Entwicklung von Kombinatoren, hundert Jahre nach ihrer Einführung durch Moses Schönfinkel im Jahr 1920.
Verweise
Externe Links
- Medien im Zusammenhang mit Moses Schönfinkel bei Wikimedia Commons
- Stephen Wolfram (2020). "Woher kamen Kombinatoren? Auf der Jagd nach der Geschichte von Moses Schönfinkel". arXiv : 2108.08707 [ math.HO ].