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 des mathématiques
Catégories : Logicien | Mathématicien allemand | Naissance en 1878 | Décès en 1957
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
