Leopold Löwenheim (Krefeld, 26 de xuño de 1878 – Berlín, 5 de maio de 1957) foi un matemático alemán.
Traxectoria O seu pai era un intelectual que deixara o seu posto de profesor para facer un estudo detallado da influencia de Demócrito en Galileo, polo que se trasladou a Italia coa súa familia. En 1881 regresaron a Alemaña, establecéndose en Berlín, onde estudaba un novo Löwenheim. Completou a súa educación secundaria no Royal Luisengymnasium ata 1896 e os seus estudos universitarios na Universidade de Berlín e na Universidade Técnica de Berlín ata 1901, cando se formou como profesor de matemáticas e física na escola secundaria.
Desde ese ano foi profesor no Jahn-Realgymnasium de Berlín, ata 1934, cando foi descualificado polo réxime nazi por ter un avó xudeu. Nos anos seguintes sobreviviu dando clases particulares e na Sociedade Antroposófica da que era membro. En 1943 a súa casa foi vítima bombardeo aliado e os seus escritos perdéronse. Despois da guerra, el volveu ser profesor dun insituto en Berlín entre 1946 e 1949.
Löwenheim, a pesar de non ter un posto universitario, dedicou gran parte do seu tempo a investigar no campo da lóxica matemática. É recordado polo teorema que leva o seu nome: o teorema de Löwenheim-Skolem que afirma que se unha proposición de primeira orde é satisfactoria, entón ten un modelo finito ou infinito contable. A demostración foi publicada en decembro de 1915 na revista Mathematische Annalen, titulada Über Möglichkeiten im Relativkalkül, e segue a tradición do cálculo de predicados establecida por Peirce e Schröder. O noruegués matemático Thoralf Skol, estendeu esta proba nos seus papeis de 1920, 1923 e 1929. Este teorema é de enorme importancia porque abriu un novo campo de investigación en matemáticas: a teoría de modelos .
Notas
Véxase tamén Bibliografía
Ligazóns externas O'Connor, John J.; Robertson, Edmund F. «Leopold Löwenheim» (en inglés). MacTutor History of Mathematics archive.
Categoría:Matemáticos de Alemaña Categoría:Nados en 1878 Categoría:Nados en Krefeld Categoría:Finados en 1957