Gisbert F. R. Hasenjaeger | |
|---|---|
 Picture of Gisbert Hasenjaeger in his identity papers during his time at OKW/Chi | |
| Born | 1 June 1919 Hildesheim, Germany |
| Died | 2 September 2006 (aged 87) Münster, Westphalia, Germany |
| Citizenship | German |
| Education | Münster University |
| Known for | Testing the Enigma encryption machine for cryptographic weaknesses. Developing a proof of the completeness theorem in 1949. |
| Scientific career | |
| Fields | Mathematics Logic |
| Institutions | University of Münster University of Bonn Princeton University |
| Doctoral advisor | Heinrich Scholz |
| Doctoral students | Dieter Rödding Ronald Jensen Peter Schroeder-Heister[1] |
Gisbert F. R. Hasenjaeger (1 June 1919 – 2 September 2006) was a German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logic.[2][3] He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung, and was responsible for the security of the Enigma machine.[4]
- ^ Gisbert Hasenjaeger at the Mathematics Genealogy Project
- ^ "Past Professors at Münster University" (PDF). wwmath.uni-muenster.de. Retrieved 6 January 2014.
- ^ "Laudatio anläßlich der Erneuerung der Doktorurkunde". WWU Münster Mathematik: Logik. Archived from the original on 31 August 2012. Retrieved 17 February 2014.
- ^ Schmeh, Klaus (15 September 2009). "Enigma's Contemporary Witness: Gisbert Hasenjaeger". Cryptologia. 33 (4): 343–346. doi:10.1080/01611190903186003. ISSN 0161-1194. S2CID 205487783.