Gisbert Hasenjaeger
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 |
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. 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.