Martin Hugo Löb ( en alemán: [løːp] ; 31 de marzo de 1921 - 21 de agosto de 2006) fue un matemático alemán . Se estableció 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ó retirado. Es quizás más conocido por haber formulado el teorema de Löb en 1955.
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 extranjero enemigo , fue deportado en el Dunera a un campo de internamiento en Hay , 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 .
En 1943 se le permitió a Löb regresar al Reino Unido 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, convirtiéndolo en 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 , que establece que las afirmaciones que afirman su propia demostrabilidad deben ser verdaderas (similar al teorema de incompletitud de Gödel ).
La esposa de Löb, Caroline, era holandesa. Tuvieron dos hijas juntos. Löb se trasladó a la Universidad de Ámsterdam a principios de los años 70 para convertirse en profesor. Permaneció en la Universidad de Ámsterdam hasta jubilarse. Luego se trasladó a Annen , donde murió más tarde.