Martin Hugo Löb ( alemán: [løːp] ; 31 de marzo de 1921 - 21 de agosto de 2006) fue un matemático alemán . Se instaló en el Reino Unido después de la Segunda Guerra Mundial y se especializó en lógica matemática . Se mudó a los Países Bajos en la década de 1970, donde permaneció jubilado. Quizás sea más conocido por haber formulado el teorema de Löb en 1955.
Martin Hugo Löb | |
---|---|
Nació | |
Fallecido | 21 de agosto de 2006 | (85 años)
alma mater | Universidad de londres |
Conocido por | Teorema de Löb |
Esposos) | carolino |
Niños | Maryke, Stefani |
Carrera científica | |
Tesis | Una caracterización metodológica de las matemáticas constructivas [1] (1953) |
Asesor de doctorado | Reuben Louis Goodstein |
Estudiantes de doctorado | Johan van Benthem |
Temprana edad y educación
Löb creció en Berlín , pero escapó del Tercer Reich y llegó al Reino Unido justo antes del estallido de la Segunda Guerra Mundial . Como enemigo extranjero , fue deportado en la Dunera a un campo de internamiento en Hay en Australia en 1940, donde otros internos le enseñaron matemáticas a Löb, de 19 años. Su maestro, Felix Behrend , fue más tarde profesor en la Universidad de Melbourne .
A Löb se le permitió regresar al Reino Unido en 1943 y estudió en la Universidad de Londres después de la guerra. Después de graduarse, se convirtió en estudiante de investigación con Reuben Goodstein en la Universidad de Leicester . Completó su doctorado y se convirtió en profesor asistente en la Universidad de Leeds en 1951, donde permanecería durante 20 años, convirtiéndose en lector y finalmente profesor de lógica matemática de 1967 a 1970. Desarrolló el grupo de lógica matemática en Leeds, haciendo es uno de los centros líderes en el Reino Unido. Löb investigó sobre teoría de la prueba , lógica modal y teoría de la computabilidad . Formuló el teorema de Löb en 1955, como una versión formal de la paradoja de Löb , de que los enunciados que afirman su propia demostrabilidad deben ser verdaderos (similar al teorema de incompletitud de Gödel ).
La esposa de Löb, Caroline, era holandesa. Tuvieron dos hijas juntas. Löb se trasladó para convertirse en profesor en la Universidad de Amsterdam a principios de la década de 1970. Permaneció en la Universidad de Amsterdam hasta su jubilación. Luego se mudó a Annen , donde murió más tarde.
Referencias
- O'Connor, John J .; Robertson, Edmund F. , "Martin Löb" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
- Obituario , The Guardian , 3 de octubre de 2006
- Obituario , Instituto de Lógica, Lenguaje y Computación, Universidad de Amsterdam