Moses Schönfinkel
- 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
Catégories :
- Mathématicien russe
- Logicien
- Naissance en 1889
- Décès en 1942
- Naissance dans l'Empire russe
- Naissance à Dnipropetrovsk
- Mathématicien soviétique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Moses Schönfinkel de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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 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
