Leopold Löwenheim
Leopold Löwenheim (* 26. Juni 1878 in Krefeld; † 5. Mai 1957 in Berlin) war ein deutscher Logiker und Mathematiker.
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 der Prädikatenlogik erster Stufe mit unendlichen Modellen. Dieser besagt:
- 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“ (euklidischen, vgl. Hilbert/Cohn-Vossen) Geometrie.
Literatur
- Christian Thiel: Löwenheim, Leopold. In: Frederic Lawrence Holmes (Hrsg.): Dictionary of Scientific Biography. Band 18, Supplement II: Aleksander Nikolaevich Lebedev – Fritz Zwicky. Charles Scribner’s Sons, New York 1981, S. 571–572.
- Christian Thiel: Leben und Werk Leopold Löwenheims (1878–1957). In: Jahresbericht der Deutschen Mathematiker-Vereinigung. Band 77, 1975, S. 1–9, (Online).
- Calixto Badesa: The birth of model theory. Löwenheim’s theorem in the frame of the theory of relatives. Princeton University Press, Princeton NJ u. a. 2004, ISBN 0-691-05853-9.
Einzelnachweise
- Christian Thiel: A Short Introduction to Löwenheim’s Life and Work and to a Hitherto Unknown Paper. In: History and Philosophy of Logic. Band 28, Nr. 4, 2007, S. 289–302, doi:10.1080/01445340701708852.
Weblinks
- Literatur von und über Leopold Löwenheim im Katalog der Deutschen Nationalbibliothek
- John J. O’Connor, Edmund F. Robertson: Leopold Löwenheim. In: MacTutor History of Mathematics archive.