Gisbert Hasenjaeger
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Death | 17 years ago |
| Date of birth | June 1,1919 |
| Zodiac sign | Gemini |
| Born | Hildesheim |
| Germany | |
| Date of died | September 2,2006 |
| Died | Munster |
| Germany | |
| Alma mater | University of Münster |
| Influenced by | Alan Turing |
| Books | Introduction to the Basic Concepts and Problems of Modern Logic |
| Fields | Mathematics |
| Logic | |
| Job | Mathematician |
| Date of Reg. | |
| Date of Upd. | |
| ID | 612866 |
Gisbert Hasenjaeger Life story
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.
