Hans Hermes

L'examen d'État à Münster en 1937 a marqué le début académique formel de Hans Hermes, un mathématicien allemand qui a consacré sa carrière aux fondements de la logique mathématique. Né en 1912 à Neunkirchen, il a navigué à travers les paysages politiques et institutionnels changeants de l'Allemagne du XXe siècle pour devenir une figure centrale de l'étude de la calculabilité et des fonctions récursives.

Développement académique précoce et service militaire

À partir de 1931, Hermes a poursuivi des études de mathématiques, physique, chimie, biologie et philosophie à l'Université de Fribourg. Après son examen de 1937 à Münster, il a bénéficié d'une bourse à l'Université de Göttingen avant de servir comme assistant à l'Université de Bonn. Pendant la Seconde Guerre mondiale, sa trajectoire a été interrompue par le service militaire sur l'île de Jersey jusqu'en 1943. Il a ensuite travaillé à l'Institut de physique chimique de la marine à Kiel et a plus tard participé à des recherches cryptographiques à Toplitzsee.

Avancement de la logique mathématique

En 1947, Hermes est devenu chargé de cours à l'Université de Bonn, complétant son habilitation avec une thèse concernant les variétés analytiques dans les domaines riemanniens. En 1949, il a été nommé professeur à l'Université de Münster. Là, il a repris l'Institut de logique mathématique et de recherche fondamentale de Heinrich Scholz en 1953. Sous sa direction, l'institut est devenu une destination pour des chercheurs tels que Wilhelm Ackermann et Gisbert Hasenjaeger. Il a en outre façonné le domaine en cofondant les Archives pour la logique mathématique et les fondements des mathématiques en 1950 aux côtés d'Arnold Schmidt et Jürgen von Kempski, et en aidant à établir l'Association allemande pour la logique mathématique et la recherche fondamentale des sciences exactes en 1962.

Recherche sur la calculabilité et les machines de Turing

Hermes a produit des travaux significatifs concernant la machine de Turing en tant que concept fondamental pour la prédictibilité. Son article de 1937, Termes définis et nombres prédictibles, a examiné les idées de Turing, tandis que sa publication de 1954 sur l'universalité des machines à calculer programmables a démontré que ces machines possèdent la même cardinalité que les machines de Turing. En 1966, il a accepté une nomination à la chaire nouvellement créée de logique mathématique et de fondements des mathématiques à l'Université de Fribourg, où il a fondé un département spécialisé. Il y est resté jusqu'à sa retraite en tant que professeur émérite en 1977. Au-delà de ses recherches, il a travaillé sur la compilation et la publication posthumes des écrits de Gottlob Frege.

Faits rapides

- Naissance : 1912, Neunkirchen, Allemagne - Décès : 2003, Fribourg-en-Brisgau, Allemagne - Éducation : Université de Münster, Université de Göttingen - Postes académiques : Université de Münster, Université de Bonn, Université de Fribourg - Membre : Académie des sciences et des lettres de Heidelberg - Domaine principal : Logique mathématique - Contributions notables : Cofondateur des Archives pour la logique mathématique et les fondements des mathématiques

Questions posées par les lecteurs

### Quelle était l'importance de l'institut de Münster ?

Sous la direction de Hermes à partir de 1953, il est devenu un centre international reconnu pour la logique mathématique et la recherche fondamentale.

### Hans Hermes a-t-il contribué à l'étude des machines de Turing ?

Oui, il a publié des travaux précoces en 1937 concernant les concepts de Turing et a plus tard prouvé que les machines programmables et les machines de Turing partagent une portée computationnelle identique.