|
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
|
