Leopold Löwenheim

Leopold Löwenheim , nacido el26 de junio de 1878en Krefeld , en la provincia de Renania y murió el5 de mayo de 1957en Berlín , es un matemático alemán , conocido por su trabajo en lógica matemática .

Biografía

El régimen nazi lo obligó a dimitir porque era "sólo tres cuartas partes" ario . En 1943, la mayoría de sus obras fueron destruidas por un bombardeo en Berlín. Sin embargo, sobrevivió a la Segunda Guerra Mundial , después de lo cual volvió a enseñar matemáticas .

Löwenheim dio en 1915 la primera prueba de lo que se establecerá como el teorema de Löwenheim-Skolem , generalmente considerado como el primer paso en la teoría de modelos .

Publicaciones importantes

• 1915, "Über Möglichkeiten im Relativkalkül", Mathematische Annalen 76 : 447-470. Título en inglés "Sobre posibilidades en el cálculo de parientes" por Jean van Heijenoort , 1967. Un libro de consulta en lógica matemática, 1879-1931 . Universidad de Harvard. Presione  : 228-51.
• Geraldine Brady, De Peirce a Skolem: Un capítulo olvidado en la historia de la lógica , Holanda Septentrional, coll. Estudios de Historia y Filosofía de las Matemáticas, Volumen 4, 468 páginas, 2000, ( ISBN  978-0-444-50334-3 ) .
  • Contiene una exégesis detallada de la demostración de Löwenheim (1915) y muestra cómo Thoralf Skolem simplificó esta demostración, amplió el alcance de este teorema y lo generalizó.

enlaces externos

• Registros de autoridad  :
  • Archivo de autoridad internacional virtual
  • Identificador de nombre estándar internacional
  • Biblioteca Nacional de Francia ( datos )
  • Sistema de documentación universitaria
  • Biblioteca del Congreso
  • Gemeinsame Normdatei
  • Biblioteca Real de los Países Bajos
  • Identificación de WorldCat
  • WorldCat
• (en) John J. O'Connor y Edmund F. Robertson , “Leopold Löwenheim” , en el archivo MacTutor History of Mathematics , Universidad de St Andrews ( leer en línea ).