This event marked a transitional moment in the life of a man who would eventually pivot from high-level military decryption to foundational developments in mathematical logic and predicate calculus.
Military Cryptography and Security
Born in Hildesheim in 1919, Hasenjaeger spent his early adulthood immersed in the realities of wartime Germany. After being severely wounded as an artillerist on the Russian front in early 1942, he transitioned to the High Command of the Wehrmacht’s Cipher Department in October of that year. Under the guidance of Erich Hüttenhain, he trained in cryptology before Karl Stein assigned him to Section IVa. His core responsibility involved the defensive testing of German encoding procedures, specifically seeking vulnerabilities in Enigma machines sold to neutral nations. While he successfully isolated specific rotor wiring and positions, he failed to detect the crucial weakness involving the reflector, a blind spot he shared with Alan Turing.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Contributions to Logic
Following the war, Hasenjaeger pursued advanced studies at the Westfälische Wilhelms-Universität in Münster, focusing on mathematical logic under Heinrich Scholz. By late 1949, he independently developed a proof for Kurt Gödel’s completeness theorem for predicate logic, a feat achieved simultaneously by American mathematician Leon Henkin. While the Henkin proof gained recognition for flexibility, Hasenjaeger’s construction was widely regarded as the more transparent and simpler approach. He continued to refine this work, eventually publishing a breakthrough in the Journal of Symbolic Logic in 1953, which represented an early application of arithmetic hierarchy theory to general logic problems.
Academic Tenure and Hardware Design
Hasenjaeger completed his habilitation in 1953 and later finalized a textbook titled Fundamentals of Mathematical Logic, which appeared in Springer’s Yellow series in 1961. In 1962, he assumed a professorship at the University of Bonn, establishing and directing the Department of Logic and Basic Research. His academic reach extended to the United States, where he spent a year at Princeton University’s Institute for Advanced Study. Beyond theoretical pursuits, he constructed a Universal Turing machine using telephone relays in 1963. This efficient hardware design remained private until his family donated the machine to the Heinz Nixdorf Museum in Paderborn after his 2006 death.
Fast facts
- Born: 1919, Hildesheim
- Died: 2006, Münster
- Education: University of Münster
- Military role: OKW/Chi cryptanalyst
- Professorships: University of Bonn
- Key achievement: Completeness theorem proof (1949)
- Notable work: Fundamentals of Mathematical Logic (1961)
Questions readers ask
Did Hasenjaeger crack the Enigma code during the war?
He identified specific weaknesses in a version of the Enigma machine used for neutral exports but failed to discover the critical reflector vulnerability.
What happened to the Turing machine he built?
He never published technical details of the machine during his life; his family later donated it to the Heinz Nixdorf Museum in Paderborn.
Who were his most prominent students?
His doctoral students at the University of Bonn included Ronald B. Jensen.
.jpg)
