Leopold Löwenheim - Leopold Löwenheim
Leopold Löwenheim | |
---|---|
Urodzony |
|
26 czerwca 1878
Zmarły | 5 maja 1957 |
(w wieku 78)
Alma Mater | Uniwersytet Berliński , Uniwersytet Techniczny w Berlinie |
Znany z | Twierdzenie Löwenheima-Skolema |
Małżonka(e) | Johanna Rassmussen |
Kariera naukowa | |
Pola | Logika matematyczna |
Leopold Löwenheim (26 czerwca 1878 w Krefeld – 5 maja 1957 w Berlinie ) był niemieckim matematykiem zajmującym się logiką matematyczną . Nazistowski reżim zmusił go do przejścia na emeryturę, ponieważ w ramach Ustawy norymberskie był uważany jedynie trzy czwarte Aryan . W 1943 r. znaczna część jego prac została zniszczona podczas nalotu bombowego na Berlin. Mimo to przeżył II wojnę światową , po której wznowił nauczanie matematyki .
Löwenheim (1915) dał pierwszy dowód tego, co jest obecnie znane jako twierdzenie Löwenheima-Skolema , często uważane za punkt wyjścia dla teorii modeli .
Leopold był synem Ludwiga Löwenheima, nauczyciela matematyki na politechnice w Krefeld i Elizabeth Röhn, pisarki. W 1881 r. cała trójka opuściła Krefeld najpierw do Neapolu, a następnie do Berlina, gdzie Ludwig był prywatnym naukowcem pracującym nad wyczerpującym opisem wpływu Demokryta na współczesną naukę. Chociaż miał nadzieję, że dzięki temu uzyska posadę nauczyciela na Uniwersytecie Humboldta, Ludwig zmarł w 1894 roku.
Publikacje
- Löwenheim, Leopold (1908). „Über das Auflösungsproblem im logischen Klassenkalkül” . Sitzungsberichte der Berliner Mathematischen Gesellschaft (w języku niemieckim). 7 : 89-94.
- Löwenheim, Leopold (1910). „Über die Auflösung von Gleichungen im logischen Gebietekalkül” (PDF) . Mathematische Annalen (w języku niemieckim). 68 (2): 169–207. doi : 10.1007/bf01474159 . S2CID 122434845 .
- Löwenheim, Leopold (1913). „Über Transformationen im Gebietekalkül” (PDF) . Mathematische Annalen (w języku niemieckim). 73 (2): 245–272. doi : 10.1007/bf01456715 .
- Löwenheim, Leopold (1915). „Über Möglichkeiten im Relativkalkül” (PDF) . Mathematische Annalen (w języku niemieckim). 76 (4): 447–470. doi : 10.1007/bf01458217 . S2CID 116581304 .Przetłumaczone jako „O możliwościach w rachunku krewnych” w Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Uniwersytet Harvarda Prasa: 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 (w języku niemieckim). 21 :137–148.
- Löwenheim, Leopold (1940). „Einkleidung der Mathematik w Schröderschen Relativkalkül”. Journal of Symbolic Logic (w języku niemieckim). 5 (1): 1-15. doi : 10.2307/2269177 . JSTOR 2269177 .
- Löwenheim, Leopold (1946). Przetłumaczone przez Willarda Van Ormana Quine'a . „O dokonywaniu pośrednich dowodów bezpośrednich”. Scripta Mathematica . 12 (2): 125–147.
Bibliografia
Dalsza lektura
- Brady, Geraldine, 2000. Od Peirce do Skolema . Północna Holandia. Zawiera szczegółową egzegezę dowodu w Löwenheim (1915) i omawia, w jaki sposób Thoralf Skolem uprościł ten dowód oraz rozszerzył zakres i ogólność twierdzenia.
Linki zewnętrzne
- Löwenheim, Leopold w encyclopedia.com
- Thiel, Christian (listopad 2007). „Krótkie wprowadzenie do życia i pracy Löwenheima oraz do dotychczas nieznanego papieru”. Historia i filozofia logiki . 28 (4): 289–302. doi : 10.1080/01445340701708852 . S2CID 170174740 .