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.
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.
Source: Wikipedia "Gisbert Hasenjaeger" · CC BY-SA 4.0
Share this article: X · Bluesky