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 trabajó en lógica matemática . El régimen nazi lo obligó a retirarse porque según las Leyes de Nuremberg se le consideraba sólo tres cuartas partes ario . En 1943, gran parte de su obra fue destruida durante un bombardeo sobre Berlín. Sin embargo, sobrevivió a la Segunda Guerra Mundial , tras la cual volvió a enseñar matemáticas . [1]
Löwenheim (1915) dio la primera prueba de lo que ahora se conoce como 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 el politécnico de Krefeld , y Elizabeth Röhn, escritora. En 1881, los tres abandonaron Krefeld, primero hacia Nápoles y luego a Berlín , donde Ludwig era un académico privado que trabajaba en un estudio exhaustivo de la influencia de Demócrito en la ciencia moderna. Aunque esperaba que esto le permitiera conseguir un trabajo docente 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.
- Löwenheim, 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 parientes" en Jean van Heijenoort , 1967. Un libro de consulta en lógica matemática, 1879-1931 . Universidad de Harvard. Prensa: 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.
- Lowenheim, Leopold (1946). "Sobre la realización directa de pruebas indirectas". Scripta Matemática . 12 (2). Traducido por Willard Van Orman Quine : 125–147.
Referencias
- ^ O'Connor, John J.; Robertson, Edmund F. , "Leopold Löwenheim", Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
- ^ Thiel, Christopher (2009). Beklemishev, Lev D. (ed.). "Leopold löwenheim, vida, trabajo e influencia temprana". Probabilidad, Computabilidad y Reflexión . Elsevier. ISBN 9780080954967.
Otras lecturas
- Brady, Geraldine, 2000. De Peirce a Skolem . Holanda del Norte. 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.