Gisbert Hasenjaeger
Gisbert F. R. Hasenjaeger (June 1, 1919 – September 2, 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.
Gisbert F. R. Hasenjaeger | |
|---|---|
Picture of Gisbert Hasenjaeger in his identity papers during his time at OKW/Chi | |
| Born | June 1, 1919 Hildesheim, Germany |
| Died | September 2, 2006 (aged 87) Münster, Westphalia, Germany |
| Citizenship | German |
| Alma mater | 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.