Gisbert Hasenjaeger

Datei:IrmgardSus Ostmann etc 1949 MFO.jpg

Herbst 1949 in Oberwolfach, von links: Irmgard Süss, Hans-Heinrich Ostmann, Paul Bernays, Gisbert Hasenjaeger, Arnold Schmidt, Herbert von Kaven, Kurt Schütte

Gisbert Hasenjaeger (* 1. Juni 1919 in Hildesheim; † 2. September 2006 in Plettenberg) war ein deutscher mathematischer Logiker.

Leben und Werk

Hasenjaeger machte 1937 sein Abitur am Staatlichen Gymnasium in Mülheim an der Ruhr, wo sein Vater Edwin Renatus Hasenjaeger, ein Verwaltungsjurist, von 1936 bis 1946 Oberbürgermeister war. Hasenjaeger war danach beim Reichsarbeitsdienst.<ref>Claus-Peter Wirth, A Most Interesting, but Revoked Draft for Hilbert and Bernays’ "Grundlagen der Mathematik" that never found its way into any publication, and 2 CV of Gisbert Hasenjaeger, Zur Frage, ob ein Reichsarbeitsdienst zu dieser Zeit freiwillig sein konnte und zur Quelle dieses Gerüchtes siehe Fußnote 37 auf S. 42.</ref> Danach leistete er seinen Wehrdienst in der Wehrmacht. Im Zweiten Weltkrieg wurde er im Russlandfeldzug, den er bei der Artillerie mitmachte, im Januar 1942 schwer verwundet. Danach war er auf Verwendung von Heinrich Scholz hin im Referat IV a der Chiffrierabteilung des Oberkommandos der Wehrmacht bei Karl Stein, zuständig für die Sicherheit der Enigma, deren von den Engländern zur Entzifferung genutzte Sicherheitslücken der Dienststelle aber entgingen.<ref>Friedrich Bauer: Entzifferte Geheimnisse, Springer 2000. Die Dienststelle war unterbesetzt mit nur vier Mitarbeitern und Hasenjaeger selbst war damals noch völlig unerfahren als Kryptologe. Immerhin gelang es ihm gleich am Anfang, einige Enigma Botschaften in einer vereinfachten Version zu entschlüsseln. Eine inhärente Schwäche der Enigma, die 1942 von Gordon Welchman für die Entzifferungsarbiet in Bletchley Park gefunden wurde, entging aber damals sogar Alan Turing.</ref> Ab Ende 1945 studierte er Mathematik und speziell mathematische Logik bei Heinrich Scholz an der Westfälischen Wilhelms-Universität in Münster, bei dem er schon 1950 promovierte (Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls<ref>Gisbert Hasenjaeger im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 21245 | {{#ifeq: {{#property:P549}} | 21245 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}</ref>) und sich 1953 habilitierte. Er kannte Scholz noch von seiner Schulzeit und korrespondierte mit ihm während seiner Einberufung im Krieg. In Münster wurde er dessen Assistent. Mit Scholz schrieb er an dessen Lehrbuch Grundzüge der Mathematischen Logik in Springers Grundlehren-Reihe, das er 1961 nach dessen Tod herausgab.

Ein weiteres enges und offenbar ebenfalls lebenslanges Zusammenarbeitsverhältnis verband Hasenjaeger mit Paul Bernays, bei dem er, beginnend mit dem Wintersemester 1950/51, drei Semester an der ETH Zürich mit Mitteln des ETH-Rates mit Bernays’ Mengenlehre und insbesondere der Vorbereitung einer zweiten Auflage von Hilbert-Bernays’ „Grundlagen der Mathematik“ verbrachte.<ref>Claus-Peter Wirth, A Most Interesting, but Revoked Draft for Hilbert and Bernays’ "Grundlagen der Mathematik" that never found its way into any publication, and 2 CV of Gisbert Hasenjaeger, Zur Zusammenarbeit von Hasenjaeger und Bernays, siehe Section 4 "Hasenjaeger and Bernays", S. 21ff. und den Anhang, Seiten 26–44</ref>

1962 wurde Hasenjaeger Professor an der Universität Bonn und war dort Direktor am neu geschaffenen Seminar für Logik und Grundlagenforschung. 1964/65 war er Gastprofessor an der Princeton University. 1984 wurde er emeritiert, hielt aber noch zehn Jahre lang weiter Vorlesungen.

Unabhängig und gleichzeitig mit Leon Henkin entwickelte er 1949 einen neuen Beweis des Vollständigkeitssatzes von Kurt Gödel für die Prädikatenlogik.

Hasenjaeger befasste sich auch mit philosophischen Fragen<ref>Gisbert Hasenjaeger: Logik und Ontologie. Studium Generale 19 (3), (1966), 136–140.</ref>.

Als Gegenpol entwickelte und baute er einfache logistische Maschinen, insbesondere Modelle für Turing-Maschinen zusammen mit Dieter Rödding, der davon zu dem Konzept der Registermaschine angeregt wurde<ref>Gisbert Hasenjaeger: On the Early History of Register Machines. in: Computation Theory and Logic, In Memory of Dieter Rödding; Egon Börger (ed.), Lecture Notes in Computer Science 270, 181–188 Springer 1987</ref>.

Zu seinen Doktoranden zählen Ronald Jensen und Dieter Rödding.

Schriften

Einführung in die Grundbegriffe und Probleme der modernen Logik. Alber, Freiburg, München 1962 (englische Übersetzung: Introduction to the basic concepts and problems of modern logic, Reidel 1972).
mit Heinrich Scholz: Grundzüge der mathematischen Logik. Springer 1961.

Nachlass

Der Nachlass von Gisbert Hasenjaeger befindet sich im Deutschen Museum in München. Ein Teilnachlass mit persönlichen Unterlagen (insbesondere mit Bezug zu seinem Vater Edwin Hasenjaeger) wird im Stadtarchiv Mülheim an der Ruhr verwahrt.

Literatur

Klaus Schmeh: Enigma’s Contemporary Witness: Gisbert Hasenjaeger. In: Cryptologia. Bd. 33, Nr. 4, 2009, S. 343–46, doi:10.1080/01611190903186003.

Weblinks

Nachlass von Gisbert Hasenjaeger im Deutschen Museum

Einzelnachweise

Vorlage:Navigationsleiste Kryptoanalytiker der Chiffrierabteilung des Oberkommandos der Wehrmacht

{{#ifeq: p | p | | {{#if: 1022914154n8408811191872544 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 1022914154n8408811191872544 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 1022914154 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1022914154 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n84088111 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n84088111 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 91872544 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 91872544 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Hasenjaeger, Gisbert | {{#if: | {{#if: deutscher mathematischer Logiker | {{#if: 1. Juni 1919 | {{#if: Hildesheim | {{#if: 2. September 2006 | {{#if: Plettenberg |

Personendaten
NAME	Hasenjaeger, Gisbert }}
ALTERNATIVNAMEN	}}
KURZBESCHREIBUNG	deutscher mathematischer Logiker }}
GEBURTSDATUM	1. Juni 1919 }}
GEBURTSORT	Hildesheim }}
STERBEDATUM	2. September 2006 }}
STERBEORT	Plettenberg }}

Vorlage:Wikidata-Registrierung