|
gptkbp:instance_of
|
gptkb:philosopher
gptkb:Mathematician
|
|
gptkbp:bfsLayer
|
6
|
|
gptkbp:bfsParent
|
gptkb:James_C._Clark
|
|
gptkbp:alma_mater
|
gptkb:University_of_Vienna
|
|
gptkbp:awards
|
gptkb:political_movement
|
|
gptkbp:birth_date
|
1906-04-28
|
|
gptkbp:birth_place
|
gptkb:Brünn
|
|
gptkbp:death_date
|
1978-01-14
|
|
gptkbp:field
|
mathematical logic
philosophy of mathematics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
K. Gödel
|
|
gptkbp:influenced
|
gptkb:Hermann_Weyl
gptkb:John_von_Neumann
gptkb:Stephen_Cole_Kleene
gptkb:Alfred_Tarski
Computational complexity theory
Mathematical logic
Model theory
Set theory
Computability theory
Philosophy of language
Philosophy of science
Philosophy of mathematics
Philosophy of mind
Proof theory
Mathematical foundations
Georg Kreisel
Kurt Gödel's incompleteness theorems
|
|
gptkbp:influenced_by
|
gptkb:Ludwig_Wittgenstein
gptkb:Bertrand_Russell
gptkb:David_Hilbert
|
|
gptkbp:known_for
|
gptkb:Gödel_numbering
gptkb:Gödel's_completeness_theorem
incompleteness theorems
|
|
gptkbp:nationality
|
gptkb:Monarch
gptkb:Native_American_tribe
|
|
gptkbp:notable_alumni
|
gptkb:Robert_Solovay
gptkb:Paul_Cohen
gptkb:Solomon_Feferman
|
|
gptkbp:residence
|
gptkb:Princeton,_New_Jersey
|
|
gptkbp:spouse
|
Adele Nimbursky
|
|
gptkbp:work_location
|
gptkb:Princeton_University
gptkb:Institute_for_Advanced_Study
|