Hans Hermes ( en 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 importantes contribuciones a los fundamentos de la lógica matemática . [1]
Hermes nació en Neunkirchen . [2] A partir de 1931, 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 asistió allí en 1938 cuando el físico Adolf Kratzer estaba presente. 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 encargó trabajar en nuevos métodos de cifrado. En 1947, se convirtió en profesor en la Universidad de Bonn , donde tomó su habilitación , su tesis llamada Variedades analíticas en áreas de Riemann . En 1949 se convirtió en profesor en la Universidad de Münster , donde volvió a dedicarse al tema de la lógica matemática. [2]
Hans Hermes fue un pionero de la máquina de Turing como concepto central de la predictibilidad . 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 todavía se adhiere estrechamente a las ideas de Turing, pero no contiene los conceptos de la máquina universal y el problema de la decisión .
En 1952 publicó, junto con Heinrich Scholz , una enciclopedia que contribuyó significativamente al 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, que había sido sustituido por Heinrich Scholz. [4] Bajo su dirección, el Instituto se convirtió en un importante centro de atracción de jóvenes investigadores, tanto dentro de la República Federal como en el extranjero. Junto a Hermes estuvieron, entre otros, Wilhelm Ackermann y Gisbert Hasenjaeger . En 1966 aceptó un nombramiento para 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 de Matemáticas, convirtiéndose en profesor emérito allí 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 respecto de la completitud de Turing . [2]
Los libros de texto de Hermes, así como su trabajo científico, convencieron a Heinz-Dieter Ebbinghaus de la originalidad, precisión y claridad intuitiva de sus libros de texto. [2] También fue un destacado profesor académico que sabía cómo transmitir cuestiones difíciles y pruebas complicadas y hacerlas extremadamente comprensibles. [2]
Hermes también colaboró en la compilación y publicación de los artículos de Gottlob Frege , ya iniciados por Scholz. En 1962, fue uno de los miembros fundadores de la Asociación Alemana de Lógica Matemática y de Investigación Básica de las Ciencias Exactas (DVMLG). [5] En 1950, fue cofundador, junto con Arnold Schmidt y Jürgen von Kempski, del Archivo de Lógica Matemática y Fundamentos de las Matemáticas. En 1967, se convirtió en miembro de la Academia de Ciencias de Heidelberg. [6]
