Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Gisbert_Hasenjaeger> ?p ?o }
- Gisbert_Hasenjaeger abstract "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 at Karlstejn, and was responsible for the security of the Enigma machine.".
- Gisbert_Hasenjaeger almaMater University_of_Münster.
- Gisbert_Hasenjaeger birthDate "1919-06-01".
- Gisbert_Hasenjaeger birthPlace Hildesheim.
- Gisbert_Hasenjaeger birthYear "1919".
- Gisbert_Hasenjaeger citizenship Germans.
- Gisbert_Hasenjaeger deathDate "2006-09-02".
- Gisbert_Hasenjaeger deathPlace Münster.
- Gisbert_Hasenjaeger deathYear "2006".
- Gisbert_Hasenjaeger doctoralAdvisor Heinrich_Scholz.
- 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 knownFor Enigma_machine.
- Gisbert_Hasenjaeger knownFor Gxc3xb6dels_completeness_theorem.
- Gisbert_Hasenjaeger wikiPageID "41568237".
- Gisbert_Hasenjaeger wikiPageLength "12738".
- Gisbert_Hasenjaeger wikiPageOutDegree "88".
- Gisbert_Hasenjaeger wikiPageRevisionID "676272394".
- Gisbert_Hasenjaeger wikiPageWikiLink Alan_Turing.
- Gisbert_Hasenjaeger wikiPageWikiLink Alexander_Prestel.
- Gisbert_Hasenjaeger wikiPageWikiLink Alfred_Tarski.
- Gisbert_Hasenjaeger wikiPageWikiLink Andrzej_Mostowski.
- Gisbert_Hasenjaeger wikiPageWikiLink Arithmetical_hierarchy.
- Gisbert_Hasenjaeger wikiPageWikiLink Axiomatic_system.
- Gisbert_Hasenjaeger wikiPageWikiLink Category:1919_births.
- Gisbert_Hasenjaeger wikiPageWikiLink Category:2006_deaths.
- Gisbert_Hasenjaeger wikiPageWikiLink Category:20th-century_German_mathematicians.
- Gisbert_Hasenjaeger wikiPageWikiLink Category:21st-century_German_mathematicians.
- Gisbert_Hasenjaeger wikiPageWikiLink Category:German_logicians.
- Gisbert_Hasenjaeger wikiPageWikiLink Category:German_male_writers.
- Gisbert_Hasenjaeger wikiPageWikiLink Category:Mathematical_logicians.
- Gisbert_Hasenjaeger wikiPageWikiLink Cipher_Department_of_the_High_Command_of_the_Wehrmacht.
- Gisbert_Hasenjaeger wikiPageWikiLink Conscription.
- Gisbert_Hasenjaeger wikiPageWikiLink Cryptography.
- Gisbert_Hasenjaeger wikiPageWikiLink Eastern_Front_(World_War_II).
- Gisbert_Hasenjaeger wikiPageWikiLink Edward_F._Moore.
- Gisbert_Hasenjaeger wikiPageWikiLink Enigma_machine.
- Gisbert_Hasenjaeger wikiPageWikiLink File:Gisbert_Hasenjaeger_as_a_soldier_in_World_War_2.jpg.
- Gisbert_Hasenjaeger wikiPageWikiLink Germans.
- Gisbert_Hasenjaeger wikiPageWikiLink Germany.
- Gisbert_Hasenjaeger wikiPageWikiLink Gordon_Welchman.
- Gisbert_Hasenjaeger wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Gisbert_Hasenjaeger wikiPageWikiLink Hao_Wang.
- Gisbert_Hasenjaeger wikiPageWikiLink Heinrich_Scholz.
- Gisbert_Hasenjaeger wikiPageWikiLink Heinz_Nixdorf_Museum.
- Gisbert_Hasenjaeger wikiPageWikiLink Henryk_Zygalski.
- Gisbert_Hasenjaeger wikiPageWikiLink Herbrand_structure.
- Gisbert_Hasenjaeger wikiPageWikiLink Hildesheim.
- Gisbert_Hasenjaeger wikiPageWikiLink Journal_of_Symbolic_Logic.
- Gisbert_Hasenjaeger wikiPageWikiLink Karl_Stein_(mathematician).
- Gisbert_Hasenjaeger wikiPageWikiLink Karlštejn.
- Gisbert_Hasenjaeger wikiPageWikiLink Kurt_Gödel.
- Gisbert_Hasenjaeger wikiPageWikiLink Leon_Henkin.
- Gisbert_Hasenjaeger wikiPageWikiLink Logic.
- Gisbert_Hasenjaeger wikiPageWikiLink Logical_truth.
- Gisbert_Hasenjaeger wikiPageWikiLink Lorenz_cipher.
- Gisbert_Hasenjaeger wikiPageWikiLink Mathematical_proof.
- Gisbert_Hasenjaeger wikiPageWikiLink Mathematics.
- Gisbert_Hasenjaeger wikiPageWikiLink Mülheim.
- Gisbert_Hasenjaeger wikiPageWikiLink Münster.
- Gisbert_Hasenjaeger wikiPageWikiLink Münster_University.
- Gisbert_Hasenjaeger wikiPageWikiLink Natural_number.
- Gisbert_Hasenjaeger wikiPageWikiLink Natural_numbers.
- Gisbert_Hasenjaeger wikiPageWikiLink Oberkommando_der_Wehrmacht_Chiffrierabteilung.
- Gisbert_Hasenjaeger wikiPageWikiLink Paderborn.
- Gisbert_Hasenjaeger wikiPageWikiLink Peano_axioms.
- Gisbert_Hasenjaeger wikiPageWikiLink Predicate_logic.
- Gisbert_Hasenjaeger wikiPageWikiLink Princeton_University.
- Gisbert_Hasenjaeger wikiPageWikiLink Ronald_Jensen.
- Gisbert_Hasenjaeger wikiPageWikiLink Siemens_and_Halske_T52.
- Gisbert_Hasenjaeger wikiPageWikiLink Stephen_Cole_Kleene.
- Gisbert_Hasenjaeger wikiPageWikiLink TICOM.
- Gisbert_Hasenjaeger wikiPageWikiLink Theorem.
- Gisbert_Hasenjaeger wikiPageWikiLink Truth_predicate.
- Gisbert_Hasenjaeger wikiPageWikiLink Turing_completeness.
- Gisbert_Hasenjaeger wikiPageWikiLink Universal_Turing_machine.
- Gisbert_Hasenjaeger wikiPageWikiLink University_of_Bonn.
- Gisbert_Hasenjaeger wikiPageWikiLink University_of_Münster.
- Gisbert_Hasenjaeger wikiPageWikiLink Wang_B-machine.
- Gisbert_Hasenjaeger wikiPageWikiLink Wang_Hao.
- Gisbert_Hasenjaeger wikiPageWikiLink World_War_II.
- Gisbert_Hasenjaeger wikiPageWikiLinkText "Gisbert Hasenjaeger".
- Gisbert_Hasenjaeger wikiPageWikiLinkText "Hasenjaeger, Gisbert".
- 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-06-01".
- Gisbert_Hasenjaeger dateOfDeath "2006-09-02".
- Gisbert_Hasenjaeger deathDate "2006-09-02".
- Gisbert_Hasenjaeger deathPlace Münster.
- Gisbert_Hasenjaeger doctoralAdvisor Heinrich_Scholz.
- Gisbert_Hasenjaeger doctoralStudents Alexander_Prestel.
- Gisbert_Hasenjaeger doctoralStudents Ronald_Jensen.
- Gisbert_Hasenjaeger en "Edwin Renatus Hasenjaeger".
- Gisbert_Hasenjaeger field Logic.