Moses Schönfinkel

aus Wikipedia, der freien Enzyklopädie

Moses Schönfinkel (russisch М. Шейнфинкель; * 4. September 1889 in Jekaterinoslaw, † 1942 in Moskau) war ein ukrainischer/sowjetischer Logiker.

Er studierte Mathematik an der Universität von Odessa und beschäftigte sich dort, zusammen mit Samuel O. Schatunowski, mit Problemen der Geometrie und den Grundlagen der Mathematik. 1914 ging er an die Universität von Göttingen wo er bis 1924 blieb und unter anderem mit David Hilbert zusammenarbeitete.

Er entwarf die kombinatorische Logik, eher und unabhängig von Haskell Curry. Die Ergebnisse seiner Arbeit veröffentlichte er 1924 unter dem Titel Über die Bausteine der mathematischen Logik, herausgegeben von Heinrich Behmann. Dieser Artikel beschreibt genau das, was heute als currying (nach Curry) bezeichnet wird. Schönfinkel selbst entwickelte seine Arbeit an der kombinatorischen Logik später nicht weiter.

Zusammen mit Paul Bernays veröffentlichte er 1929 das Entscheidungsproblem der mathematischen Logik.

Schönfinkel kehrte vor dem Ausbruch des zweiten Weltkriegs in die Sowjetunion zurück und starb 1942 in Moskau. Die Umstände und genauen Daten seines Todes sind unbekannt.

[Bearbeiten] Veröffentlichungen

• "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305-316
• "Zum Entscheidungsproblem der mathematischen Logik", Mathematische Annalen 99, pp. 342-372 in Zusammenarbeit mit Paul Bernays.

Personendaten
NAME	Schönfinkel, Moses
ALTERNATIVNAMEN	Шейнфинкель
KURZBESCHREIBUNG	russischer Mathematiker
GEBURTSDATUM	4. September 1889
GEBURTSORT	Jekaterinoslaw
STERBEDATUM	1942
STERBEORT	Moskau