Gisbert Hasenjaeger
mathématicien allemand / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Gisbert Hasenjaeger?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Hasenjaeger.
Gisbert F. R. Hasenjaeger ( – ) 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[1],[2]. 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[3].
Faits en bref Naissance, Décès ...
Gisbert Hasenjaeger
Congrès de logiciens, automne 1949 à Oberwolfach. De gauche à droite : Irmgard Süss, Hans-Heinrich Ostmann, Paul Bernays, Gisbert Hasenjaeger, Arnold Schmidt, Herbert von Kaven et Kurt Schütte.
Naissance | |
---|---|
Décès | |
Nationalité | |
Formation | |
Activités |
Directeur de thèse |
Heinrich Scholz (en) |
---|
Fermer