| 释义 |
- Important publications
- References
- Further reading
- External links
{{Infobox scientist
| honorific_prefix =
| name = Leopold Löwenheim
| honorific_suffix =
| native_name =
| native_name_lang =
| image =
| image_size =
| alt =
| caption =
| birth_date = {{birth date |1878|06|26}}
| birth_place = Krefeld, Germany
| death_date = {{death date and age |1957|05|05 |1878|06|26}}
| death_place = Berlin, Germany
| death_cause =
| resting_place =
| resting_place_coordinates =
| other_names =
| residence =
| citizenship =
| nationality =
| fields = Mathematical logic
| workplaces =
| patrons =
| education =
| alma_mater = University of Berlin, Technical University Berlin
| thesis_title =
| thesis_url =
| thesis_year =
| doctoral_advisor =
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = Löwenheim–Skolem theorem
| influences =
| influenced =
| awards =
| author_abbrev_bot =
| author_abbrev_zoo =
| spouse = Johanna Rassmussen
| partner =
| children =
| signature =
| signature_alt =
| website =
| footnotes =
}}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]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 - {{cite journal | url=http://www.math.berlin/publikationen/sitzungsberichte.html | author=Leopold Löwenheim | title=Über das Auflösungsproblem im logischen Klassenkalkül | journal=Sitzungsberichte der Berliner Mathematischen Gesellschaft | volume=7 | pages=89–94 | year=1908 }}
- {{cite journal | url=http://gdz.sub.uni-goettingen.de/download/PPN235181684_0068/PPN235181684_0068___LOG_0021.pdf | author=Leopold Löwenheim | title=Über die Auflösung von Gleichungen im logischen Gebietekalkül | journal=Mathematische Annalen | volume=68 | issue=2 | pages=169–207 | doi= 10.1007/bf01474159 | year=1910 }}
- {{cite journal | url=http://gdz.sub.uni-goettingen.de/download/PPN235181684_0073/PPN235181684_0073___LOG_0024.pdf | author=Leopold Löwenheim | title=Über Transformationen im Gebietekalkül | journal=Mathematische Annalen | volume=73 | issue=2 | pages=245–272 | doi= 10.1007/bf01456715 | year=1913 }}
- {{cite journal | url=http://gdz.sub.uni-goettingen.de/download/PPN235181684_0076/PPN235181684_0076___LOG_0039.pdf | author=Leopold Löwenheim | title=Über Möglichkeiten im Relativkalkül | journal=Mathematische Annalen | pages=447–470 | volume=76 | issue=4 | year=1915 | doi = 10.1007/bf01458217 }} 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.
- {{cite journal | url=http://www.digizeitschriften.de/dms/img/?PID=PPN827940653_0021 | author=Leopold Löwenheim | title=Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt | journal=Archiv für Systematische Philosophie | volume=21 | pages=137–148 | year=1915 }}
- {{cite journal | author=Leopold Löwenheim | title=Einkleidung der Mathematik in Schröderschen Relativkalkül | journal=Journal of Symbolic Logic | volume=5 | issue=1 | pages=1–15 | year=1940 | jstor=2269177 | doi=10.2307/2269177}}
- {{cite journal | author=Leopold Löwenheim | title=On Making Indirect Proofs Direct | journal=Scripta Mathematica | volume=12 | number=2 | pages=125–147 | year=1946 }} Translated from German and published by Willard Van Orman Quine.
References1. ^{{MacTutor Biography|id=Lowenheim}}
Further reading- 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 links- Löwenheim, Leopold at encyclopedia.com
- {{cite journal | author=Christian Thiel | title=A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper | journal=History and Philosophy of Logic | volume=28 |issue = 4| pages=289–302 | date=Nov 2007 | doi=10.1080/01445340701708852}}
{{Authority control}}{{DEFAULTSORT:Lowenheim, Leopold}}{{Germany-mathematician-stub}} 8 : 1878 births|1957 deaths|German mathematicians|20th-century mathematicians|German logicians|People from Krefeld|German philosophers|German male writers |