| dbo:abstract
|
- Gisbert Hasenjaeger (* 1. Juni 1919 in Hildesheim; † 2. September 2006) war ein deutscher mathematischer Logiker. (de)
- Gisbert F. R. Hasenjaeger (June 1, 1919 – September 2, 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. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung, and was responsible for the security of the Enigma machine. (en)
- 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. (fr)
- Gisbert Hasenjaeger (Hildesheim, 1 de junho de 1919 – Münster, 2 de setembro de 2006) foi um matemático alemão. (pt)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:influencedBy
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 14966 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- Picture of Gisbert Hasenjaeger in his identity papers during his time at OKW/Chi (en)
|
| dbp:citizenship
| |
| dbp:deathDate
| |
| dbp:deathPlace
|
- Münster, Westphalia, Germany (en)
|
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:field
| |
| dbp:influences
| |
| dbp:knownFor
|
- Testing the Enigma encryption machine for cryptographic weaknesses. (en)
- Developing a proof of the completeness theorem in 1949. (en)
|
| dbp:name
|
- Gisbert F. R. Hasenjaeger (en)
|
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitutions
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Gisbert Hasenjaeger (* 1. Juni 1919 in Hildesheim; † 2. September 2006) war ein deutscher mathematischer Logiker. (de)
- Gisbert F. R. Hasenjaeger (June 1, 1919 – September 2, 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. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung, and was responsible for the security of the Enigma machine. (en)
- 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. (fr)
- Gisbert Hasenjaeger (Hildesheim, 1 de junho de 1919 – Münster, 2 de setembro de 2006) foi um matemático alemão. (pt)
|
| rdfs:label
|
- Gisbert Hasenjaeger (de)
- Gisbert Hasenjaeger (fr)
- Gisbert Hasenjaeger (en)
- Gisbert Hasenjaeger (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Gisbert F. R. Hasenjaeger (en)
|
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
