Kurt Gödel

GPTKB entity
AI-created image of Kurt Gödel
AI-created image

Statements (56)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Vienna
gptkbp:awardReceived gptkb:Albert_Einstein_Award
gptkb:Albert_Einstein_Memorial_Prize
gptkb:National_Medal_of_Science
gptkbp:birthDate 1906-04-28
gptkbp:birthPlace gptkb:Austria-Hungary
gptkb:Brünn
gptkbp:causeOfDeath malnutrition
gptkbp:citizenship gptkb:Austria
gptkb:United_States
gptkbp:deathDate 1978-01-14
gptkbp:deathPlace gptkb:Princeton,_New_Jersey,_USA
gptkbp:doctoralAdvisor gptkb:Hans_Hahn
gptkbp:ethnicity German Moravian
gptkbp:field gptkb:logic
gptkb:mathematics
gptkb:philosophy
https://www.w3.org/2000/01/rdf-schema#label Kurt Gödel
gptkbp:influenced gptkb:Alan_Turing
gptkb:John_von_Neumann
gptkb:Paul_Cohen
gptkb:Saul_Kripke
gptkbp:influencedBy gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:Immanuel_Kant
gptkbp:knownFor gptkb:Gödel's_ontological_proof
gptkb:Gödel–Löwenheim_theorem
gptkb:Gödel_metric
gptkb:Gödel_numbering
completeness theorem
incompleteness theorems
gptkbp:language gptkb:German
English
gptkbp:memberOf gptkb:Institute_for_Advanced_Study
gptkb:Vienna_Circle
gptkbp:nationality gptkb:American
gptkb:Austrian
gptkbp:notableStudent gptkb:Hao_Wang
gptkbp:notableWork gptkb:Über_formal_unentscheidbare_Sätze_der_Principia_Mathematica_und_verwandter_Systeme_I
gptkb:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems
Consistency of the Continuum Hypothesis
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkb:philosopher
gptkbp:religion gptkb:Lutheranism
gptkbp:residence gptkb:Princeton,_New_Jersey,_USA
gptkb:Vienna
gptkbp:restingPlace gptkb:Princeton_Cemetery
gptkbp:signature Kurt Gödel signature.svg
gptkbp:spouse gptkb:Adele_Nimbursky
gptkbp:bfsParent gptkb:Alan_Turing
gptkb:David_Hilbert
gptkb:Gottfried_Wilhelm_Leibniz
gptkb:Yehoshua_Bar-Hillel
gptkbp:bfsLayer 3