Hans Hermes ( alemán: [ˈhɛʁmɛs] ; 12 de febrero de 1912 - 10 de noviembre de 2003) fue un matemático y lógico alemán , que hizo contribuciones significativas a los fundamentos de la lógica matemática . [1] Hermes nació en Neunkirchen , Alemania . [2]
A partir de 1931, Hermes estudió matemáticas, física, química, biología y filosofía en la Universidad de Friburgo . En 1937 aprobó el examen estatal en Münster y asistía allí en 1938 cuando estaba presente el físico Adolf Kratzer . Después de eso, fue becado a la Universidad de Göttingen y luego se convirtió en asistente en la Universidad de Bonn . Durante la Segunda Guerra Mundial fue soldado en la Isla del Canal de Jersey hasta 1943 y luego en el Instituto de Física Química de la Marina en Kiel . Al final de la guerra se mudó a Toplitzsee., donde se le encomendó trabajar en nuevos métodos de encriptación. En 1947, se convirtió en profesor en la Universidad de Bonn donde tomó su habilitación , su tesis llamada Analytical manifolds in Riemannian areas . En 1949 se convirtió en profesor en la Universidad de Münster , donde volvió a la materia de lógica matemática. [2]
Hans Hermes fue un pionero de la máquina de Turing como concepto central de la previsibilidad . En 1937, Hermes publicó bajo el título Términos definidos y números predecibles un artículo sobre la máquina de Turing, que aún se adhiere estrechamente a las ideas de Turing, pero no contiene los conceptos de la máquina universal y el problema de decisión .
En 1952, publicó junto con Heinrich Scholz , una enciclopedia, que ha promovido significativamente el desarrollo de la lógica matemática en Alemania . [3]
En 1953 asumió la dirección del influyente Instituto de Lógica Matemática e Investigación Básica de la Universidad de Münster, de manos de Heinrich Scholz. [4] Bajo su dirección, el Instituto se convirtió en un destacado centro de atracción de jóvenes investigadores, tanto dentro de la República Federal como en el extranjero. Con Hermes estaban allí, entre otros, Wilhelm Ackermann y Gisbert Hasenjaeger . En 1966 aceptó un puesto en la recién creada Cátedra de Lógica Matemática y Fundamentos de las Matemáticas en la Universidad de Friburgo y comenzó a construir un departamento homónimo en el Instituto Matemático, donde se convirtió en Profesor Emérito en 1977.
En 1954, Hermes produjo una prueba informal de que las posibilidades de los valores propios programables incluyen las funciones predecibles , por lo que las máquinas calculadoras tienen la misma cardinalidad que las máquinas de Turing en cuanto a la integridad de Turing . [2]