Leopold Lowenheim

Leopold Lowenheim

Leopold Löwenheim

Leopold Löwenheim (1878, Krefeld, Allemagne - 1957, Berlin) était un mathématicien allemand, connu pour ses travaux en logique mathématique. Le régime Nazi l'a forcé à démissionner car il n'était aryen « qu'aux trois quarts ». En 1943 la plupart de ses travaux ont été détruits sous un bombardement sur Berlin. Il a toutefois survécu à la Seconde Guerre mondiale, au terme de laquelle il a repris l'enseignement des mathématiques.

Löwenheim a donné en 1915 la première preuve de ce qui sera établi comme le théorème de Löwenheim-Skolem, considéré habituellement comme le premier pas de la théorie des modèles.

Publications majeures

  • 1915, "Über Möglichkeiten im Relativkalkül," Mathematische Annalen 76: 447-470. Titre anglais (traduction) "On possibilities in the calculus of relatives" de Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press: 228-51.
  • Brady, Geraldine, 2000. From Peirce to Skolem. North Holland. Contient une exégèse détaillée de la preuve de Löwenheim (1915), et montre comment Thoralf Skolem a simplifié cette preuve, a étendu la portée de ce théorème et l'a généralisé.

Lien externe

  • Portail de la logique Portail de la logique
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Leopold L%C3%B6wenheim ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Leopold Löwenheim — (* 26. Juni 1878 in Krefeld; † 5. Mai 1957 in Berlin) war ein deutscher Logiker und Mathematiker. Inhaltsverzeichnis 1 Leben 2 Werk 3 Einzelnachweise …   Deutsch Wikipedia

  • Leopold Löwenheim — (1878, Krefeld, Allemagne 1957, Berlin) était un mathématicien allemand, connu pour ses travaux en logique mathématique. Le régime Nazi l a forcé à démissionner car il n était aryen « qu aux trois quarts ». En 1943 la plupart de ses… …   Wikipédia en Français

  • Leopold Löwenheim — (1878, Krefeld Germany 1957, Berlin) was a German mathematician, known for his work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considered only three quarters Aryan. In 1943 much of his work …   Wikipedia

  • Löwenheim — oder Loewenheim ist der Familienname folgender Personen: Leopold Löwenheim (1878–1957), deutscher Logiker und Mathematiker Ulrich Loewenheim (* 1934), deutscher Rechtswissenschaftler Walter Loewenheim (1896–1977; auch Walter Lowe, Pseudonyme… …   Deutsch Wikipedia

  • Löwenheim-Skolem-Satz —   [nach dem Logiker und Mathematiker Leopold Löwenheim, * 1878, ✝ 1957, und T. Skolem], von Löwenheim 1918 bewiesener Satz: Jede überhaupt erfüllbare Formel der Prädikatenlogik erster Stufe ohne freie Gegenstandsvariable ist schon in einem… …   Universal-Lexikon

  • Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

  • Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

  • Löwenheim number — In mathematical logic the Löwenheim number of an abstract logic is the smallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds.[1] They are named after Leopold Löwenheim, who proved that these exist for a very broad… …   Wikipedia

  • Löwenheim-Skolem-Theorem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

  • Satz von Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

Share the article and excerpts

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