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 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 en 1938 asistía allí 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 cifrado. En 1947, se convirtió en profesor en la Universidad de Bonn, donde obtuvo su habilitación , su tesis titulada Múltiples analíticas en áreas de Riemann . 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 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 todavía se adhiere estrechamente a las ideas de Turing, pero no contiene los conceptos de máquina universal y problema de 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, de manos de Heinrich Scholz. [4] Bajo su dirección, el Instituto se convirtió en un destacado centro para atraer a jóvenes investigadores, tanto dentro de la República Federal como en el extranjero. Con Hermes estaban, 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 allí 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 lo que respecta a la completitud de Turing . [2]
Los libros de texto de Hermes, así como su trabajo científico, persuadieron a Heinz-Dieter Ebbinghaus a destacar la originalidad, precisión y claridad intuitiva de sus libros de texto. [2] También fue un destacado profesor académico que supo transmitir cuestiones difíciles y pruebas complicadas y hacerlas extremadamente comprensibles. [2]
Hermes también trabajó en la recopilación y publicación de los artículos de Gottlob Frege , ya iniciada 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, estuvo con Arnold Schmidt y Jürgen von Kempski, cofundador 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]
