Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gisbert_Hasenjaeger> ?p ?o. }
Showing items 1 to 79 of
79
with 100 items per page.
- Gisbert_Hasenjaeger abstract "Gisbert F. R. Hasenjaeger (* June 1, 1919 in Hildesheim,† 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 at Karlstejn, and was responsible for the security of the Enigma machine.".
- Gisbert_Hasenjaeger almaMater University_of_M%C3%BCnster.
- Gisbert_Hasenjaeger birthDate "1919".
- Gisbert_Hasenjaeger birthDate "1919-06-01".
- Gisbert_Hasenjaeger birthPlace Hildesheim.
- Gisbert_Hasenjaeger birthYear "1919".
- Gisbert_Hasenjaeger citizenship Germans.
- Gisbert_Hasenjaeger deathDate "2006".
- Gisbert_Hasenjaeger deathDate "2006-09-02".
- Gisbert_Hasenjaeger deathPlace M%C3%BCnster.
- Gisbert_Hasenjaeger deathPlace Münster.
- Gisbert_Hasenjaeger deathYear "2006".
- Gisbert_Hasenjaeger doctoralStudent Alexander_Prestel.
- Gisbert_Hasenjaeger doctoralStudent Ronald_Jensen.
- Gisbert_Hasenjaeger field Logic.
- Gisbert_Hasenjaeger field Mathematics.
- Gisbert_Hasenjaeger influencedBy Alan_Turing.
- Gisbert_Hasenjaeger influencedBy Heinrich_Scholz.
- Gisbert_Hasenjaeger knownFor Enigma_machine.
- Gisbert_Hasenjaeger knownFor G%C3%B6del's_completeness_theorem.
- Gisbert_Hasenjaeger wikiPageID "41568237".
- Gisbert_Hasenjaeger wikiPageRevisionID "606712639".
- Gisbert_Hasenjaeger almaMater University_of_Münster.
- Gisbert_Hasenjaeger birthDate "1919-06-01".
- Gisbert_Hasenjaeger birthPlace Hildesheim.
- Gisbert_Hasenjaeger caption "Picture of Gisbert_Hasenjaeger in his identity papers during his time at OKW/Chi".
- Gisbert_Hasenjaeger citizenship Germans.
- Gisbert_Hasenjaeger dateOfBirth "1919".
- Gisbert_Hasenjaeger dateOfDeath "2006".
- Gisbert_Hasenjaeger deathDate "2006-09-02".
- Gisbert_Hasenjaeger deathPlace Münster.
- Gisbert_Hasenjaeger doctoralStudents Alexander_Prestel.
- Gisbert_Hasenjaeger doctoralStudents Ronald_Jensen.
- Gisbert_Hasenjaeger field Logic.
- Gisbert_Hasenjaeger field Mathematics.
- Gisbert_Hasenjaeger influences Alan_Turing.
- Gisbert_Hasenjaeger influences Heinrich_Scholz.
- Gisbert_Hasenjaeger knownFor "Developing a proof of the completeness theorem in 1949.".
- Gisbert_Hasenjaeger knownFor "Testing the Enigma encryption machine for cryptographic weakness's.".
- Gisbert_Hasenjaeger name "Gisbert F. R. Hasenjaeger".
- Gisbert_Hasenjaeger name "Hasenjaeger, Gisbert".
- Gisbert_Hasenjaeger placeOfBirth Hildesheim.
- Gisbert_Hasenjaeger placeOfDeath Münster.
- Gisbert_Hasenjaeger shortDescription "German mathematician".
- Gisbert_Hasenjaeger workInstitutions Princeton_University.
- Gisbert_Hasenjaeger workInstitutions University_of_Bonn.
- Gisbert_Hasenjaeger workInstitutions University_of_Münster.
- Gisbert_Hasenjaeger description "German mathematician".
- Gisbert_Hasenjaeger description "German mathematician".
- Gisbert_Hasenjaeger subject Category:1919_births.
- Gisbert_Hasenjaeger subject Category:2006_deaths.
- Gisbert_Hasenjaeger subject Category:20th-century_mathematicians.
- Gisbert_Hasenjaeger subject Category:German_logicians.
- Gisbert_Hasenjaeger subject Category:German_mathematicians.
- Gisbert_Hasenjaeger subject Category:Mathematical_logicians.
- Gisbert_Hasenjaeger type Agent.
- Gisbert_Hasenjaeger type Person.
- Gisbert_Hasenjaeger type Scientist.
- Gisbert_Hasenjaeger type Person.
- Gisbert_Hasenjaeger type Q215627.
- Gisbert_Hasenjaeger type Q5.
- Gisbert_Hasenjaeger type Agent.
- Gisbert_Hasenjaeger type NaturalPerson.
- Gisbert_Hasenjaeger type Thing.
- Gisbert_Hasenjaeger type Person.
- Gisbert_Hasenjaeger comment "Gisbert F. R. Hasenjaeger (* June 1, 1919 in Hildesheim,† 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 at Karlstejn, and was responsible for the security of the Enigma machine.".
- Gisbert_Hasenjaeger label "Gisbert Hasenjaeger".
- Gisbert_Hasenjaeger label "Gisbert Hasenjaeger".
- Gisbert_Hasenjaeger sameAs Gisbert_Hasenjaeger.
- Gisbert_Hasenjaeger sameAs m.0_1h21s.
- Gisbert_Hasenjaeger sameAs Q1527182.
- Gisbert_Hasenjaeger sameAs Q1527182.
- Gisbert_Hasenjaeger wasDerivedFrom Gisbert_Hasenjaeger?oldid=606712639.
- Gisbert_Hasenjaeger givenName "Gisbert".
- Gisbert_Hasenjaeger isPrimaryTopicOf Gisbert_Hasenjaeger.
- Gisbert_Hasenjaeger name "Gisbert F. R. Hasenjaeger".
- Gisbert_Hasenjaeger name "Gisbert Hasenjaeger".
- Gisbert_Hasenjaeger name "Hasenjaeger, Gisbert".
- Gisbert_Hasenjaeger surname "Hasenjaeger".