Dieses Ereignis markierte einen Wendepunkt im Leben eines Mannes, der schließlich von der hochrangigen militärischen Entschlüsselung zu grundlegenden Entwicklungen in der mathematischen Logik und dem Prädikatenkalkül überging.
Militärische Kryptographie und Sicherheit
Der 1919 in Hildesheim geborene Hasenjaeger verbrachte sein frühes Erwachsenenleben inmitten der Realitäten des kriegsgeprägten Deutschlands. Nachdem er Anfang 1942 als Artillerist an der Ostfront schwer verwundet worden war, wechselte er im Oktober desselben Jahres in die Chiffrierabteilung des Oberkommandos der Wehrmacht. Unter der Anleitung von Erich Hüttenhain wurde er in Kryptologie ausgebildet, bevor Karl Stein ihn der Abteilung IVa zuwies. Seine Hauptaufgabe bestand in der defensiven Prüfung deutscher Verschlüsselungsverfahren, wobei er gezielt nach Schwachstellen in Enigma-Maschinen suchte, die an neutrale Nationen verkauft wurden. Obwohl es ihm gelang, spezifische Rotorverdrahtungen und Positionen zu isolieren, erkannte er die entscheidende Schwachstelle des Reflektors nicht – ein blinder Fleck, den er mit Alan Turing teilte.
Beiträge zur Logik
Nach dem Krieg absolvierte Hasenjaeger ein weiterführendes Studium an der Westfälischen Wilhelms-Universität in Münster, wo er sich unter Heinrich Scholz auf mathematische Logik konzentrierte. Ende 1949 entwickelte er unabhängig einen Beweis für den Gödelsche Vollständigkeitssatz für die Prädikatenlogik, eine Leistung, die zeitgleich auch dem amerikanischen Mathematiker Leon Henkin gelang. Während Henkins Beweis für seine Flexibilität anerkannt wurde, galt Hasenjaegers Konstruktion weithin als der transparentere und einfachere Ansatz. Er verfeinerte diese Arbeit weiter und veröffentlichte 1953 einen Durchbruch im Journal of Symbolic Logic, der eine frühe Anwendung der Theorie der arithmetischen Hierarchie auf allgemeine Logikprobleme darstellte.
Akademische Laufbahn und Hardware-Design
Hasenjaeger habilitierte sich 1953 und vollendete später ein Lehrbuch mit dem Titel Einführung in die Grundbegriffe und Probleme der modernen Logik, das 1961 in der Springer-Gelben Reihe erschien. 1962 übernahm er eine Professur an der Universität Bonn, wo er das Institut für Logik und Grundlagenforschung gründete und leitete. Sein akademischer Wirkungskreis erstreckte sich bis in die USA, wo er ein Jahr am Institute for Advanced Study in Princeton verbrachte. Über theoretische Bestrebungen hinaus konstruierte er 1963 eine universelle Turingmaschine unter Verwendung von Telefonrelais. Dieses effiziente Hardware-Design blieb privat, bis seine Familie die Maschine nach seinem Tod 2006 dem Heinz Nixdorf MuseumsForum in Paderborn stiftete.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Fakten
- Geboren: 1919, Hildesheim - Gestorben: 2006, Münster - Ausbildung: Universität Münster - Militärische Rolle: OKW/Chi-Kryptoanalytiker - Professuren: Universität Bonn - Wichtige Leistung: Beweis des Vollständigkeitssatzes (1949) - Bedeutendes Werk: Einführung in die Grundbegriffe und Probleme der modernen Logik (1961)
Fragen von Lesern
### Hat Hasenjaeger während des Krieges den Enigma-Code geknackt?
Er identifizierte spezifische Schwachstellen in einer Version der Enigma-Maschine, die für neutrale Exporte verwendet wurde, entdeckte jedoch nicht die kritische Schwachstelle des Reflektors.
### Was geschah mit der von ihm gebauten Turingmaschine?
Er veröffentlichte zu Lebzeiten nie technische Details der Maschine; seine Familie stiftete sie später dem Heinz Nixdorf MuseumsForum in Paderborn.
### Wer waren seine prominentesten Schüler?
Zu seinen Doktoranden an der Universität Bonn gehörte Ronald B. Jensen.
.jpg)
