Leopold Löwenheim - Leopold Löwenheim
Leopold Löwenheim | |
---|---|
Nascer |
|
26 de junho de 1878
Faleceu | 5 de maio de 1957 |
(com 78 anos)
Alma mater | Universidade de Berlim , Universidade Técnica de Berlim |
Conhecido por | Teorema de Löwenheim-Skolem |
Cônjuge (s) | Johanna Rassmussen |
Carreira científica | |
Campos | Lógica matemática |
Leopold Löwenheim (26 de junho de 1878 em Krefeld - 5 de maio de 1957 em Berlim ) foi um matemático alemão trabalhando em lógica matemática . O regime nazista o forçou a se aposentar porque, de acordo com as Leis de Nuremberg, ele era considerado apenas três quartos ariano . Em 1943, grande parte de seu trabalho foi destruído durante um bombardeio em Berlim. No entanto, ele sobreviveu à Segunda Guerra Mundial , após a qual voltou a ensinar matemática .
Löwenheim (1915) deu a primeira prova do que hoje é conhecido como teorema de Löwenheim-Skolem , frequentemente considerado o ponto de partida para a teoria de modelos .
Leopold era filho de Ludwig Löwenheim, professor de matemática na politécnica de Krefeld e Elizabeth Röhn, escritora. Em 1881, os três deixaram Krefeld primeiro para Nápoles e depois para Berlim, onde Ludwig era um estudioso particular trabalhando em um relato abrangente da influência de Demócrito na ciência moderna. Embora ele esperasse que isso lhe rendesse um emprego de professor na Universidade Humboldt, Ludwig morreu em 1894.
Publicações
- Löwenheim, Leopold (1908). "Über das Auflösungsungsungsproblem im logischen Klassenkalkül" . Sitzungsberichte der Berliner Mathematischen Gesellschaft (em alemão). 7 : 89–94.
- Löwenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF) . Mathematische Annalen (em alemão). 68 (2): 169–207. doi : 10.1007 / bf01474159 . S2CID 122434845 .
- Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF) . Mathematische Annalen (em alemão). 73 (2): 245–272. doi : 10.1007 / bf01456715 .
- Löwenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF) . Mathematische Annalen (em alemão). 76 (4): 447–470. doi : 10.1007 / bf01458217 . S2CID 116581304 .Traduzido como "Sobre possibilidades no cálculo de parentes" em Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879–1931 . Harvard Univ. Imprensa: 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 (em alemão). 21 : 137–148.
- Löwenheim, Leopold (1940). "Einkleidung der Mathematik in Schröderschen Relativkalkül". Journal of Symbolic Logic (em alemão). 5 (1): 1–15. doi : 10.2307 / 2269177 . JSTOR 2269177 .
- Löwenheim, Leopold (1946). Traduzido por Willard Van Orman Quine . "Sobre como tornar diretas as provas indiretas". Scripta Mathematica . 12 (2): 125–147.
Referências
Leitura adicional
- Brady, Geraldine, 2000. From Peirce to Skolem . Holanda do Norte. Contém uma exegese detalhada da prova em Löwenheim (1915) e discute como Thoralf Skolem simplificou essa prova e estendeu o escopo e a generalidade do teorema.
links externos
- Löwenheim, Leopold em encyclopedia.com
- Thiel, Christian (novembro de 2007). "Uma breve introdução à vida e obra de Löwenheim e a um artigo até então desconhecido". História e filosofia da lógica . 28 (4): 289–302. doi : 10.1080 / 01445340701708852 . S2CID 170174740 .