Leopold Löwenheim

Leopold Löwenheim

Leopold Löwenheim (* 26. Juni 1878 in Krefeld; † 5. Mai 1957 in Berlin) war ein deutscher Logiker und Mathematiker.

Inhaltsverzeichnis

Leben

Nach dem Studium der Mathematik und Naturwissenschaften an der Universität Berlin von 1896 bis 1900 war er ab 1901 in Berlin als Lehrer (ab 1904 als Oberlehrer am Jahn-Realprogymnasium in Berlin-Lichtenberg[1]) tätig.

Zwischen August 1916 und Dezember 1916 kämpfte er im Ersten Weltkrieg. Nach der Machtergreifung 1933 wurde er unter den Nationalsozialisten gemäß den Bestimmungen des Berufsbeamtengesetzes aus dem Schuldienst entlassen (ein Großvater war Jude) und 1934 zwangspensioniert. Er unterrichtete dann weiter in einer Anthroposophischen Schule in Berlin, unter anderem Eurythmie. Im August 1943 erhielt sein Haus in Berlin einen Bomben-Volltreffer, wobei alle seine Manuskripte verlorengingen. Von 1946 bis 1949 war er wieder als Studienrat tätig.

Werk

Seine wissenschaftlichen Arbeiten betreffen vorwiegend die Darstellung der Mathematik im Logik-Kalkül von Ernst Schröder. In einer beweist er 1915 im Wesentlichen den Satz von Löwenheim und Skolem über die Existenz abzählbar unendlicher Modelle für Theorien mit unendlichen Modellen. Für den Satz von Löwenheim gilt

  • Jeder Ausdruck des Prädikatenkalküls der ersten Stufe, der in einem unendlichen Bereich erfüllbar ist, ist schon in einem abzählbar unendlichen Bereich erfüllbar.

Für den Schulgebrauch verfasste er eine Reihe unveröffentlichter Manuskripte zur anschaulichen Geometrie.

Einzelnachweise

  1. ↑ Thiel, Christian (2007). A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper. History and Philosophy of Logic, 28 (4), 289-302. Retrieved January 27, 2009, from http://www.informaworld.com/10.1080/01445340701708852

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • 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… …   Wikipédia en Français

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