Leopold Löwenheim - Leopold Löwenheim

Leopold Löwenheim (26 Haziran 1878, Krefeld - 5 Mayıs 1957, Berlin ), matematiksel mantık alanında çalışmalar yapan bir Alman matematikçiydi . Nazi altında çünkü rejim emekli zorladı Nürnberg Yasaları o sadece dörtte üçü kabul edildi Aryan . 1943'te Berlin'e yapılan bir bombalı saldırı sırasında çalışmalarının çoğu yok edildi . Yine de, İkinci Dünya Savaşı'ndan sağ çıktı ve ardından matematik öğretmeye devam etti .

Löwenheim (1915), günümüzde Löwenheim-Skolem teoremi olarak bilinen ve genellikle model teorisinin başlangıç ​​noktası olarak kabul edilen şeyin ilk kanıtını verdi .

Leopold Ludwig Löwenheim, bir matematik öğretmeni oğlu Polytechnic içinde Krefeld ve Elizabeth Rohn, bir yazar. 1881'de üçü Krefeld'den önce Napoli'ye , ardından Ludwig'in Demokritos'un modern bilim üzerindeki etkisinin kapsamlı bir açıklaması üzerinde çalışan özel bir bilim adamı olduğu Berlin'e gitti . Bunun kendisine Humboldt Üniversitesi'nde bir öğretmenlik işi kazandıracağını ummasına rağmen, Ludwig 1894'te öldü.

Yayınlar

• Löwenheim, Leopold (1908). "Über das Auflösungsproblem im logischen Klassenkalkül" . Sitzungsberichte der Berliner Mathematischen Gesellschaft (Almanca). 7 : 89-94.
• Löwenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF) . Mathematische Annalen (Almanca). 68 (2): 169–207. doi : 10.1007/bf01474159 . S2CID  122434845 .
• Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF) . Mathematische Annalen (Almanca). 73 (2): 245–272. doi : 10.1007/bf01456715 .
• Löwenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF) . Mathematische Annalen (Almanca). 76 (4): 447-470. doi : 10.1007/bf01458217 . S2CID  116581304 .Jean van Heijenoort , 1967'de "Akrabaların hesabındaki olasılıklar üzerine" olarak çevrilmiştir . Matematiksel Mantıkta Bir Kaynak Kitap, 1879–1931 . Harvard Üniv. Basın: 228–251.
• Löwenheim, Leopold (1915). "Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Cebir umfaßt" . Archiv für Systematische Philosophie (Almanca). 21 : 137-148.
• Löwenheim, Leopold (1940). "Schröderschen Relativkalkül'de Einkleidung der Mathematik". Sembolik Mantık Dergisi (Almanca). 5 (1): 1–15. doi : 10.2307/2269177 . JSTOR  2269177 .
• Löwenheim, Leopold (1946). Çeviren Willard Van Orman Quine . "Dolaylı Kanıtların Doğrudan Yapılması Üzerine". Scripta Mathematica . 12 (2): 125–147.

Referanslar

daha fazla okuma

• Brady, Geraldine, 2000. Peirce'den Skolem'e . Kuzey Hollanda. Löwenheim'daki (1915) ispatın ayrıntılı bir yorumunu içerir ve Thoralf Skolem'in bu ispatı nasıl basitleştirdiğini ve teoremin kapsamını ve genelliğini nasıl genişlettiğini tartışır .

Dış bağlantılar

• Löwenheim, Leopold encyclopedia.com'da
• Thiel, Christian (Kasım 2007). "Löwenheim'ın Yaşamına ve Çalışmasına ve Şimdiye Kadar Bilinmeyen Bir Makaleye Kısa Bir Giriş". Mantık Tarihi ve Felsefesi . 28 (4): 289-302. doi : 10.1080/0144534070170852 . S2CID  170174740 .

Bir Alman matematikçi ile ilgili bu madde taslak seviyesindedir . Vikipedi'yi genişleterek yardımcı olabilirsiniz .

• v
• t
• e