Schönfinkel

Schönfinkel

Moses Isajewitsch Schönfinkel (russisch Моисей Исаевич Шейнфинкель, wiss. Transliteration Moisej Isaevič Šejnfinkel'; * 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.

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.

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Moses Schönfinkel — Moses Ilyich Schönfinkel Born 1887 or 1889 Ekaterinoslav, Russian Empire Died 1942 Moscow, Soviet Union …   Wikipedia

  • Moses Schonfinkel — Moses Schönfinkel 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… …   Wikipédia en Français

  • Moses Schönfinkel — 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… …   Wikipédia en Français

  • Moses Schönfinkel — Moses Isajewitsch Schönfinkel (russisch Моисей Исаевич Шейнфинкель, wiss. Transliteration Moisej Isaevič Šejnfinkel ; * 4. September 1889 in Jekaterinoslaw; † 1942 in Moskau) war ein ukrainischer/sowjetische …   Deutsch Wikipedia

  • Bernays–Schönfinkel class — The Bernays–Schönfinkel class of formulas, named after Paul Bernays and Moses Schönfinkel, is a decidable fragment of first order logic formulas.It corresponds to formulas which, when written in prenex normal form, have an exists^*forall^*… …   Wikipedia

  • Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

  • Haskell Curry — Infobox Scientist name =Haskell Brooks Curry birth date =September 12, 1900 birth place =Millis, Massachusetts death date =September 1, 1982 death place =State College, Pennsylvania residence = citizenship =USA nationality = ethnicity = field… …   Wikipedia

  • Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …   Wikipedia

  • Kombinator — Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders… …   Deutsch Wikipedia

  • Currying — This article is about the function transformation technique. For the general variety of spicy dishes, see Curry. In mathematics and computer science, currying is the technique of transforming a function that takes multiple arguments (or an n… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”