Gisbert Hasenjaeger (Hildesheim, – Münster, ) foi um matemático alemão.
Vida e obra Na Segunda Guerra Mundial participou da campanha da Rússia, onde foi em janeiro de 1942 gravemente ferido. Esteve depois sob a direção de Heinrich Scholz no Referat IV a do Cipher Department of the High Command of the Wehrmacht com Karl Stein, responsável pela segurança da Enigma.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.
Estudou lógica matemática a partir de 1945 com Heinrich Scholz na Universidade de Münster, obtendo um doutorado em 1950, com a tese Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls,) onde obteve a habilitação em 1953. Com Scholz escreveu o livro-texto Grundzüge der Mathematischen Logik.
Independente e simultaneamente com Leon Henkin desenvolveu em 1949 uma nova prova do teorema da completude de Gödel.
Dentre seus orientados de doutorado constam Ronald Jensen e Dieter Rödding.
Obras 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). om Heinrich Scholz: Grundzüge der mathematischen Logik, Springer 1961.
Bibliografia Klaus Schmeh: Enigma’s Contemporary Witness: Gisbert Hasenjaeger. In: Cryptologia. Volume 33, Nr. 4, 2009, p. 343–46, doi:10.1080/01611190903186003.
Ligações externas Geschichte der Mathematik an der Universität Münster, u. a. Biographie von Hasenhaeger, PDF Laudatio in Münster für Hasenjaeger von Justus Diller Zu seiner Arbeit beim Chiffrierdienst des OKW bei Heise.de
Categoria:Máquina Enigma Categoria:Especialistas em lógica matemática Categoria:Criptógrafos da Alemanha Categoria:Lógicos da Alemanha Categoria:Matemáticos da Alemanha do século XX Categoria:Matemáticos da Alemanha do século XXI Categoria:Militares alemães da Segunda Guerra Mundial