Gisbert Hasenjaeger

From Wikipedia, the free encyclopedia

Gisbert Hasenjaeger (* June 1, 1919 in Hildesheim,† 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.^[1] He worked as an assitant to Heinrich Scholz Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung at Karlstejn, and was responsible for the security of the Enigma machine.

Personal life

Gisbert Hasenjaeger went to high school in Mülheim. His father Edwin Renatus Hasenjaeger was a lawyer and local politician. At the beginning of World War 2 he volunteered for military service and serviced in the Russian campaign where he was badly injured in 1942 and served with artillery. Invalided out of the service, he served as assistant to Heinrich Scholz, starting in October 1942, out in Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung at Karlstejn, responsible for the security of the Enigma machine, which used by the British to decipher vulnerabilities of the service but escaped

References

↑ "Past Professors at Münster University" (PDF). wwmath.uni-muenster.de. Retrieved 6 January 2014.

External links

Persondata
Name	Hasenjaeger, Gisbert
Alternative names
Short description	German mathematician
Date of birth	1919
Place of birth
Date of death	2006
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.