Leopold Löwenheim

Leopold Löwenheim (26 June 1878 – 5 May 1957) was a German mathematician who made significant contributions to mathematical logic. Born in Krefeld, he later studied at the University of Berlin and Technische Universität Berlin. Löwenheim is most famous for his 1915 paper "Über Möglichkeiten im Relativkalkül" (On possibilities in the calculus of relatives), which provided the first proof of the Löwenheim–Skolem theorem. This theorem is a cornerstone of model theory, asserting that if a formal theory has a model, then it has a model with a countable universe of discourse. His life was marked by hardship. The Nazi regime forced him to retire due to the Nuremberg Laws, which classified him as only three-quarters Aryan. In 1943, a bombing raid on Berlin destroyed much of his work. Despite these adversities, Löwenheim survived World War II and resumed teaching mathematics. His father, Ludwig Löwenheim, was also a mathematics teacher, and his mother was Elizabeth Röhn. His father's scholarly pursuits, focused on the influence of Democritus, unfortunately did not lead to academic success before his death in 1894. Löwenheim's own work laid crucial groundwork for the development of logic and set theory in the 20th century.