Leopolda Löwenheima

Leopolda Löwenheima
Urodzić się	( 1878-06-26 ) 26 czerwca 1878 Krefeld , Niemcy
Zmarł	5 maja 1957 ( w wieku 78) ( 05.05.1957 ) Berlinie , Niemcy
Alma Mater	Uniwersytet Berliński , Uniwersytet Techniczny w Berlinie
Znany z	Twierdzenie Löwenheima-Skolema
Współmałżonek	Johanna Rassmussen
Kariera naukowa
Pola	Logika matematyczna

Leopold Löwenheim [ˈle: o: pɔl̩d ˈlø: vɛnhaɪm] (26 czerwca 1878 w Krefeld - 5 maja 1957 w Berlinie ) był niemieckim matematykiem zajmującym się logiką matematyczną . Reżim nazistowski zmusił go do przejścia na emeryturę, ponieważ zgodnie z ustawami norymberskimi był uważany tylko w trzech czwartych za Aryjczyka . W 1943 roku większość jego prac została zniszczona podczas 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 pisarki Elizabeth Röhn. W 1881 roku cała trójka wyjechała z Krefeld najpierw do Neapolu , a następnie do Berlina , gdzie Ludwig był prywatnym uczonym pracującym nad obszernym opisem wpływu Demokryta na współczesną naukę. Chociaż miał nadzieję, że zapewni mu to 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. Książka źródłowa w logice matematycznej, 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 in 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średnio”. Scripta Mathematica . 12 (2): 125–147.

Dalsza lektura

• Brady, Geraldine, 2000. Od Peirce'a 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 i 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 twórczości Löwenheima oraz do nieznanego dotąd artykułu”. Historia i filozofia logiki . 28 (4): 289–302. doi : 10.1080/01445340701708852 . S2CID 170174740 .