Leopold Löwenheim

From Wikipedia, the free encyclopedia

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 he was only three quarters Aryan. In 1943 much of his work was destroyed during a bombing raid on Berlin. Nevertheless, he survived the Second World War, after which he resumed teaching mathematics.

Loewenheim (1915) gave the first proof of what is now known as the Löwenheim-Skolem theorem, often considered the starting point for model theory.

[edit] Important publications

Primary:

• 1915, "Über Möglichkeiten im Relativkalkül," Mathematische Annalen 76: 447-470. Translated as "On possibilities in the calculus of relatives" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press: 228-51.

Secondary:

• Brady, Geraldine, 2000. From Peirce to Skolem. North Holland. Contains a detailed exegesis of the proof in Loewenheim (1915), and discusses how Thoralf Skolem simplified that proof and extended the scope and generality of the theorem.

[edit] See also

• Löwenheim-Skolem theorem

[edit] External link

• O'Connor, John J., and Edmund F. Robertson. "Leopold Löwenheim". MacTutor History of Mathematics archive.