Matemático alemán
Leopold Löwenheim [ˈle:o:pɔl̩d ˈlø:vɛnhaɪm] (26 de junio de 1878 en Krefeld - 5 de mayo de 1957 en Berlín ) fue un matemático alemán que trabajaba en lógica matemática . El régimen nazi lo obligó a retirarse porque bajo las Leyes de Núremberg se lo consideraba solo tres cuartas partes ario . En 1943 gran parte de su trabajo fue destruido durante un bombardeo sobre Berlín. Sin embargo, sobrevivió a la Segunda Guerra Mundial , después de lo cual reanudó la enseñanza de las matemáticas . [1]
Löwenheim (1915) dio la primera prueba de lo que ahora se conoce como el teorema de Löwenheim-Skolem , a menudo considerado el punto de partida de la teoría de modelos .
Leopold era hijo de Ludwig Löwenheim, profesor de matemáticas en la Politécnica de Krefeld , y de Elizabeth Röhn, escritora. En 1881, los tres abandonaron Krefeld, primero para trasladarse a Nápoles y luego a Berlín , donde Ludwig trabajaba como profesor particular en un estudio exhaustivo de la influencia de Demócrito en la ciencia moderna. Aunque esperaba que esto le permitiera conseguir un puesto de profesor en la Universidad Humboldt, Ludwig murió en 1894. [2]
Publicaciones
- Löwenheim, Leopold (1908). "Über das Auflösungsproblem im logischen Klassenkalkül". Sitzungsberichte der Berliner Mathematischen Gesellschaft (en alemán). 7 : 89–94.
- Lowenheim, Leopold (1910). "Über die Auflösung von Gleichungen im logischen Gebietekalkül" (PDF) . Mathematische Annalen (en alemán). 68 (2): 169–207. doi :10.1007/bf01474159. S2CID 122434845.
- Löwenheim, Leopold (1913). "Über Transformationen im Gebietekalkül" (PDF) . Mathematische Annalen (en alemán). 73 (2): 245–272. doi :10.1007/bf01456715. S2CID 120979593.
- Lowenheim, Leopold (1915). "Über Möglichkeiten im Relativkalkül" (PDF) . Mathematische Annalen (en alemán). 76 (4): 447–470. doi :10.1007/bf01458217. S2CID 116581304.Traducido como "Sobre las posibilidades en el cálculo de relativos" en Jean van Heijenoort , 1967. Un libro de consulta sobre lógica matemática, 1879-1931 . Harvard Univ. Press: 228-251.
- Lowenheim, Leopold (1915). "Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt". Archiv für Systematische Philosophie (en alemán). 21 : 137-148.
- Lowenheim, Leopold (1940). "Einkleidung der Mathematik in Schröderschen Relativkalkül". Revista de lógica simbólica (en alemán). 5 (1): 1–15. doi :10.2307/2269177. JSTOR 2269177. S2CID 250344187.
- Löwenheim, Leopold (1946). "Sobre cómo hacer directas las demostraciones indirectas". Scripta Mathematica . 12 (2). Traducido por Willard Van Orman Quine : 125–147.
Referencias
- ^ O'Connor, John J.; Robertson, Edmund F. , "Leopold Löwenheim", Archivo de Historia de las Matemáticas MacTutor , Universidad de St Andrews
- ^ Thiel, Christopher (2009). Beklemishev, Lev D. (ed.). "Leopold Löwenheim, vida, obra e influencia temprana". Probabilidad, computabilidad y reflexión . Elsevier. ISBN 9780080954967.
Lectura adicional
- Brady, Geraldine, 2000. From Peirce to Skolem . Holanda Septentrional. Contiene una exégesis detallada de la prueba de Löwenheim (1915) y analiza cómo Thoralf Skolem simplificó esa prueba y amplió el alcance y la generalidad del teorema.
Enlaces externos
- Löwenheim, Leopold en encyclopedia.com
- Thiel, Christian (noviembre de 2007). "Una breve introducción a la vida y obra de Löwenheim y a un artículo hasta ahora desconocido". Historia y filosofía de la lógica . 28 (4): 289–302. doi : 10.1080/01445340701708852 . S2CID 170174740.