Suvarna Garge (Editor)

Leopold Löwenheim

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Fields
  
Mathematical logic

Known for
  
Löwenheim–Skolem theorem

Spouse
  
Johanna Rassmussen


Born
  
June 26, 1878 Krefeld, Germany (
1878-06-26
)

Died
  
5 May 1957, Berlin, Germany

Alma maters
  
Humboldt University of Berlin, Technical University of Berlin

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.

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.

Important publications

  • Leopold Löwenheim (1908). "Über das Auflösungsproblem im logischen Klassenkalkül". Sitzungsberichte der Berliner mathematischen Gesellschaft. 7: 89—94. 
  • Leopold Löwenheim (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF). Mathematische Annalen. 68: 169—207. 
  • Leopold Löwenheim (1913). "Über Transformationen im Gebietekalkül" (PDF). Mathematische Annalen. 73: 245—272. 
  • Leopold Löwenheim (1915). "Über Möglichkeiten im Relativkalkül" (PDF). 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–251.
  • Leopold Löwenheim (1915). "Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt". Archiv für systematische Philosophie. 21: 137—148. 
  • Leopold Löwenheim (1940). "Einkleidung der Mathematik in den Schöderschen Relativkalkül". Journal of Symbolic Logic. 5: 1—15. JSTOR 2269177. 
  • Leopold Löwenheim (1946). "On Making Indirect Proofs Direct". Scripta mathematica. 12 (2): 125—147.  Translated from German and published by Willard Van Orman Quine.

    • References

    Leopold Löwenheim Wikipedia
    (Text) CC BY-SA