Leopold Löwenheim - Leopold Löwenheim
Leopold Löwenheim | |
---|---|
Geboren |
|
26. Juni 1878
Ist gestorben | 5. Mai 1957 |
(78 Jahre alt)
Alma Mater | Universität Berlin , Technische Universität Berlin |
Bekannt für | Satz von Löwenheim-Skolem |
Ehepartner | Johanna Rassmussen |
Wissenschaftlicher Werdegang | |
Felder | Mathematische Logik |
Leopold Löwenheim (26. Juni 1878 in Krefeld – 5. Mai 1957 in Berlin ) war ein deutscher Mathematiker , der sich mit mathematischer Logik beschäftigte . Das NS - Regime zwang ihn , sich zurückzuziehen , weil unter der Nürnberger Gesetze er nur drei Viertel galt Arier . 1943 wurden viele seiner Werke bei einem Bombenangriff auf Berlin zerstört. Trotzdem überlebte er den Zweiten Weltkrieg , danach nahm er wieder den Mathematikunterricht auf .
Löwenheim (1915) lieferte den ersten Beweis für das, was heute als Löwenheim-Skolem-Theorem bekannt ist und oft als Ausgangspunkt für die Modelltheorie angesehen wird .
Leopold war der Sohn von Ludwig Löwenheim, Mathematiklehrer am Polytechnikum in Krefeld und Elizabeth Röhn, Schriftsteller. 1881 verließen die drei Krefeld zunächst nach Neapel und dann nach Berlin, wo Ludwig als Privatgelehrter an einer umfassenden Darstellung des Einflusses Demokrits auf die moderne Wissenschaft arbeitete. Obwohl er sich damit eine Lehrstelle an der Humboldt-Universität erhoffte, starb Ludwig 1894.
Veröffentlichungen
- Löwenheim, Leopold (1908). "Über das Auflösungsproblem im logischen Klassenkalkül" . Sitzungsberichte der Berliner Mathematischen Gesellschaft . 7 : 89–94.
- Löwenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietskalkül" (PDF) . Mathematische Annalen . 68 (2): 169–207. doi : 10.1007/bf01474159 . S2CID 122434845 .
- Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF) . Mathematische Annalen . 73 (2): 245–272. doi : 10.1007/bf01456715 .
- Löwenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF) . Mathematische Annalen . 76 (4): 447–470. doi : 10.1007/bf01458217 . S2CID 116581304 .Übersetzt als "Über Möglichkeiten in der Verwandtschaftsrechnung" in Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Harvard-Uni. Drücken Sie: 228–251.
- Löwenheim, Leopold (1915). "Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfasst" . Archiv für Systematische Philosophie . 21 : 137–148.
- Löwenheim, Leopold (1940). "Einkleidung der Mathematik in Schröderschen Relativkalkül". Zeitschrift für Symbolische Logik . 5 (1): 1–15. doi : 10.2307/2269177 . JSTOR 2269177 .
- Löwenheim, Leopold (1946). Übersetzt von Willard Van Orman Quine . "Über die Herstellung indirekter Beweise direkt". Scripta Mathematica . 12 (2): 125–147.
Verweise
Weiterlesen
- Brady, Geraldine, 2000. Von Peirce zu Skolem . Nordholland. Enthält eine detaillierte Exegese des Beweises in Löwenheim (1915) und diskutiert, wie Thoralf Skolem diesen Beweis vereinfacht und den Geltungsbereich und die Allgemeingültigkeit des Satzes erweitert hat.
Externe Links
- Löwenheim, Leopold bei encyclopedia.com
- Thiel, Christian (November 2007). „Eine kurze Einführung in Leben und Werk Löwenheims und zu einem bisher unbekannten Papier“. Geschichte und Philosophie der Logik . 28 (4): 289–302. doi : 10.1080/01445340701708852 . S2CID 170174740 .