Moses Schonfinkel

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'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 1920. Cette conférence révisée par Heinrich Behmann 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. Retourné en URSS en 1939, il meurt à Moscou en 1942, sans que l'on connaisse la date précise de sa mort.

Références

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

Source

  • (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Moses Schönfinkel ».
  • Portail des mathématiques Portail des mathématiques
  • Portail de la logique Portail de la logique
  • Portail de la Russie Portail de la Russie
Ce document provient de « Moses Sch%C3%B6nfinkel ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Moses Schonfinkel de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • 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

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

  • 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… …   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

  • 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

  • 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

  • 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”