Open main menu

Wikipedia β

Leopold Löwenheim (26 June 1878 in Krefeld – 5 May 1957 in 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 was destroyed during a bombing raid on Berlin. Nevertheless, he survived the Second World War, after which he resumed teaching mathematics.[1]

Leopold Löwenheim
Born (1878-06-26)June 26, 1878
Krefeld, Germany
Died May 5, 1957(1957-05-05) (aged 78)
Berlin, Germany
Alma mater University of Berlin, Technical University Berlin
Known for Löwenheim–Skolem theorem
Spouse(s) Johanna Rassmussen
Scientific career
Fields Mathematical logic

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

Contents

Important publicationsEdit

ReferencesEdit

Further readingEdit

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

External linksEdit