Gisbert Hasenjaeger

Cet événement a marqué un moment de transition dans la vie d'un homme qui passerait finalement du décryptage militaire de haut niveau à des développements fondamentaux en logique mathématique et en calcul des prédicats.

Cryptographie militaire et sécurité

Né à Hildesheim en 1919, Hasenjaeger a passé le début de sa vie d'adulte immergé dans les réalités de l'Allemagne en temps de guerre. Après avoir été grièvement blessé en tant qu'artilleur sur le front russe au début de 1942, il a rejoint le département de chiffrement du haut commandement de la Wehrmacht en octobre de la même année. Sous la direction d'Erich Hüttenhain, il a été formé à la cryptologie avant que Karl Stein ne l'affecte à la section IVa. Sa responsabilité principale consistait à tester les procédures de codage allemandes, en cherchant spécifiquement des vulnérabilités dans les machines Enigma vendues aux nations neutres. Bien qu'il ait réussi à isoler des câblages et des positions de rotors spécifiques, il n'a pas détecté la faiblesse cruciale impliquant le réflecteur, un angle mort qu'il partageait avec Alan Turing.

Contributions à la logique

Après la guerre, Hasenjaeger a poursuivi des études supérieures à l'université Westfälische Wilhelms de Münster, en se concentrant sur la logique mathématique sous la direction de Heinrich Scholz. Fin 1949, il a développé indépendamment une preuve du théorème de complétude de Kurt Gödel pour la logique des prédicats, un exploit réalisé simultanément par le mathématicien américain Leon Henkin. Bien que la preuve de Henkin ait été reconnue pour sa flexibilité, la construction de Hasenjaeger a été largement considérée comme l'approche la plus transparente et la plus simple. Il a continué à affiner ce travail, publiant finalement une percée dans le Journal of Symbolic Logic en 1953, qui représentait une application précoce de la théorie de la hiérarchie arithmétique aux problèmes de logique générale.

Carrière universitaire et conception de matériel

Hasenjaeger a terminé son habilitation en 1953 et a plus tard finalisé un manuel intitulé Fondements de la logique mathématique, paru dans la série jaune de Springer en 1961. En 1962, il a obtenu une chaire à l'université de Bonn, où il a créé et dirigé le département de logique et de recherche fondamentale. Son rayonnement universitaire s'est étendu aux États-Unis, où il a passé une année à l'Institute for Advanced Study de Princeton. Au-delà des activités théoriques, il a construit une machine de Turing universelle utilisant des relais téléphoniques en 1963. Cette conception matérielle efficace est restée privée jusqu'à ce que sa famille fasse don de la machine au musée Heinz Nixdorf de Paderborn après sa mort en 2006.

Faits marquants

- Naissance : 1919, Hildesheim - Décès : 2006, Münster - Éducation : Université de Münster - Rôle militaire : cryptanalyste OKW/Chi - Chaires : Université de Bonn - Réalisation clé : Preuve du théorème de complétude (1949) - Œuvre notable : Fondements de la logique mathématique (1961)

Questions des lecteurs

### Hasenjaeger a-t-il cassé le code Enigma pendant la guerre ?

Il a identifié des faiblesses spécifiques dans une version de la machine Enigma utilisée pour les exportations neutres, mais n'a pas réussi à découvrir la vulnérabilité critique du réflecteur.

### Qu'est-il arrivé à la machine de Turing qu'il a construite ?

Il n'a jamais publié les détails techniques de la machine de son vivant ; sa famille en a fait don plus tard au musée Heinz Nixdorf de Paderborn.

### Qui étaient ses étudiants les plus éminents ?

Parmi ses doctorants à l'université de Bonn figurait Ronald B. Jensen.