Matches in DBpedia 2014 for { ?s ?p Gisbert F. R. 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. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung at Karlstejn, and was responsible for the security of the Enigma machine.. }
Showing items 1 to 2 of
2
with 100 items per page.
- Gisbert_Hasenjaeger abstract "Gisbert F. R. 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. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung at Karlstejn, and was responsible for the security of the Enigma machine.".
- Gisbert_Hasenjaeger comment "Gisbert F. R. 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. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung at Karlstejn, and was responsible for the security of the Enigma machine.".