Gisbert Hasenjaeger
personne
mathématicien allemand
Gisbert F. R. Hasenjaeger (1er juin 1919 – 2 septembre 2006) est un mathématicien et logicien allemand. Indépendamment et simultanément avec Leon Henkin en 1949, il a développé une nouvelle preuve du théorème de complétude de Gödel pour la logique des prédicats. Il a travaillé comme assistant de Heinrich Scholz, à la section IVa de l'Oberkommando der Wehrmacht Chiffrierabteilung, et a été responsable de la sécurité de la machine Enigma.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Gisbert_Hasenjaeger
Lien Wikidata : https://www.wikidata.org/wiki/Q1527182
Propriétés
- date_deces
- +2006-09-0
- date_naissance
- +1919-06-0
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q2742", "label": "Münster"}
- lieu_naissance
- {"qid": "Q3185", "label": "Hildesheim"}
- nationalite
- Allemagne
- occupation
- logicien ou logicienne
- p106_all
- logicien ou logicienne, mathématicien ou mathématicienne, philosophe