Gisbert Hasenjaeger
Gisbert F. R. Hasenjaeger 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.
From *.wikipedia.org,
General Info
.
Male
Date of Birth
June 1st, 1919
Age
107
Birth Place
Germany, Lower Saxony
Date of Death
September 2nd, 2006
Died Aged
87
Star Sign
Gemini
Social Networks , Links
Interest
Loading Chart...
Lists