Leopold Löwenheim - Leopold Löwenheim
Leopold Löwenheim | |
---|---|
Født |
|
26. juni 1878
Døde | 5. maj 1957 |
(78 år gammel)
Alma Mater | University of Berlin , Technical University Berlin |
Kendt for | Löwenheim – Skolem sætning |
Ægtefælle (r) | Johanna Rassmussen |
Videnskabelig karriere | |
Felter | Matematisk logik |
Leopold Löwenheim (26. juni 1878 i Krefeld - 5. maj 1957 i Berlin ) var en tysk matematiker, der udførte arbejde i matematisk logik . Den nazistiske regime tvang ham til at trække sig tilbage, fordi under Nürnberg Laws han blev anset kun tre fjerdedele ariske . I 1943 blev meget af hans arbejde ødelagt under et bombeangreb på Berlin. Ikke desto mindre overlevede han Anden Verdenskrig , hvorefter han genoptog undervisningen i matematik .
Löwenheim (1915) gav det første bevis på, hvad der nu er kendt som sætningen Löwenheim – Skolem , ofte betragtet som udgangspunktet for modelteori .
Leopold var søn af Ludwig Löwenheim, en matematiklærer ved polytechnic i Krefeld og Elizabeth Röhn, en forfatter. I 1881 forlod de tre Krefeld først til Napoli og derefter Berlin, hvor Ludwig var en privat lærd, der arbejdede på en omfattende redegørelse for Demokritos indflydelse på moderne videnskab. Selvom han håbede, at dette ville give ham et undervisningsjob ved Humboldt University Ludwig døde i 1894.
Publikationer
- Löwenheim, Leopold (1908). "Über das Auflösungsproblem im logischen Klassenkalkül" . Sitzungsberichte der Berliner Mathematischen Gesellschaft (på tysk). 7 : 89–94.
- Löwenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF) . Mathematische Annalen (på tysk). 68 (2): 169-207. doi : 10.1007 / bf01474159 . S2CID 122434845 .
- Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF) . Mathematische Annalen (på tysk). 73 (2): 245-272. doi : 10.1007 / bf01456715 .
- Löwenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF) . Mathematische Annalen (på tysk). 76 (4): 447-470. doi : 10.1007 / bf01458217 . S2CID 116581304 .Oversat som "Om muligheder i familiens beregning" i Jean van Heijenoort , 1967. En kildebog i matematisk logik, 1879–1931 . Harvard Univ. Tryk på: 228-251.
- Löwenheim, Leopold (1915). "Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt" . Archiv für Systematische Philosophie (på tysk). 21 : 137–148.
- Löwenheim, Leopold (1940). "Einkleidung der Mathematik in Schröderschen Relativkalkül". Journal of Symbolic Logic (på tysk). 5 (1): 1–15. doi : 10.2307 / 2269177 . JSTOR 2269177 .
- Löwenheim, Leopold (1946). Oversat af Willard Van Orman Quine . "Om indirekte bevis direkte". Scripta Mathematica . 12 (2): 125–147.
Referencer
Yderligere læsning
- Brady, Geraldine, 2000. Fra Peirce til Skolem . Nordholland. Indeholder en detaljeret eksegese af beviset i Löwenheim (1915) og diskuterer, hvordan Thoralf Skolem forenklede beviset og udvidede sætningens omfang og generalitet.
eksterne links
- Löwenheim, Leopold på encyclopedia.com
- Thiel, Christian (november 2007). "En kort introduktion til Löwenheims liv og arbejde og et hidtil ukendt papir". Logikens historie og filosofi . 28 (4): 289-302. doi : 10.1080 / 01445340701708852 . S2CID 170174740 .