Leopold Löwenheim

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

Nach dem Studium der Mathematik und Naturwissenschaften in Berlin von 1896 bis 1900 war er ab 1901 in Berlin als Lehrer tätig. 1933 erfolgte die Entlassung aus dem Schuldienst und 1934 die Zwangspensionierung.

Von 1946 bis 1949 war er wieder als Studienrat tätig. 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 verfaßte er eine Reihe unveröffentlichter Manuskripte zur anschaulichen Geometrie.