El examen estatal en Münster en 1937 marcó el inicio académico formal de Hans Hermes, un matemático alemán que dedicó su carrera a los fundamentos de la lógica matemática. Nacido en 1912 en Neunkirchen, navegó por los cambiantes paisajes políticos e institucionales de la Alemania del siglo XX para convertirse en una figura central en el estudio de la computabilidad y las funciones recursivas.
Desarrollo académico temprano y servicio militar
A partir de 1931, Hermes cursó estudios de matemáticas, física, química, biología y filosofía en la Universidad de Friburgo. Tras su examen de 1937 en Münster, obtuvo una beca en la Universidad de Gotinga antes de trabajar como asistente en la Universidad de Bonn. Durante la Segunda Guerra Mundial, su trayectoria se vio interrumpida por el servicio militar en la isla de Jersey hasta 1943. Posteriormente trabajó en el Instituto de Física Química de la Marina en Kiel y más tarde participó en investigaciones criptográficas en Toplitzsee.
Avance de la lógica matemática
En 1947, Hermes se convirtió en profesor en la Universidad de Bonn, completando su habilitación con una tesis sobre variedades analíticas en áreas de Riemann. En 1949, fue nombrado profesor en la Universidad de Münster. Allí, se hizo cargo del Instituto de Lógica Matemática e Investigación Básica de Heinrich Scholz en 1953. Bajo su dirección, el instituto se convirtió en un destino para investigadores como Wilhelm Ackermann y Gisbert Hasenjaeger. Además, dio forma al campo cofundando el Archivo de Lógica Matemática y Fundamentos de las Matemáticas en 1950 junto a Arnold Schmidt y Jürgen von Kempski, y ayudando a establecer la Asociación Alemana de Lógica Matemática y de Investigación Básica de las Ciencias Exactas en 1962.
Investigación sobre computabilidad y máquinas de Turing
Hermes realizó un trabajo significativo sobre la máquina de Turing como concepto fundamental para la predictibilidad. Su artículo de 1937, Términos definidos y números predecibles, examinó las ideas de Turing, mientras que su publicación de 1954 sobre la universalidad de las máquinas de computación controladas por programa demostró que dichas máquinas poseen la misma cardinalidad que las máquinas de Turing. 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, donde fundó un departamento especializado. Permaneció allí hasta su jubilación como profesor emérito en 1977. Más allá de su investigación, trabajó en la recopilación y publicación póstuma de los escritos de Gottlob Frege.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos rápidos
- Nacimiento: 1912, Neunkirchen, Alemania - Fallecimiento: 2003, Friburgo de Brisgovia, Alemania - Educación: Universidad de Münster, Universidad de Gotinga - Cargos académicos: Universidad de Münster, Universidad de Bonn, Universidad de Friburgo - Miembro: Academia de Ciencias y Humanidades de Heidelberg - Campo principal: Lógica matemática - Contribuciones notables: Cofundador del Archivo de Lógica Matemática y Fundamentos de las Matemáticas
Preguntas frecuentes de los lectores
### ¿Cuál fue la importancia del instituto en Münster?
Bajo el liderazgo de Hermes a partir de 1953, se convirtió en un destacado centro internacional de lógica matemática e investigación básica.
### ¿Contribuyó Hans Hermes al estudio de las máquinas de Turing?
Sí, publicó trabajos tempranos en 1937 sobre los conceptos de Turing y más tarde demostró que las máquinas programables y las máquinas de Turing comparten el mismo alcance computacional.
.jpg)