Gisbert Hasenjaeger

Picture of Gisbert Hasenjaeger in his identity papers during his time at [[Oberkommando der Wehrmacht Chiffrierabteilung|OKW/Chi]] 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. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Hasenjaeger, Gisbert', query time: 0.01s Refine Results
  1. 1
    Conceptos y problemas de la lógica moderna
    Kit
Search Tools: RSS Feed – Email Search