|
gptkbp:instance_of
|
gptkb:philosopher
gptkb:Mathematician
|
|
gptkbp:bfsLayer
|
3
|
|
gptkbp:bfsParent
|
gptkb:church
gptkb:legislation
gptkb:John_Nash
gptkb:Royal_Swedish_Academy_of_Sciences
gptkb:Alfred_Tarski
|
|
gptkbp:affiliation
|
gptkb:Institute_for_Advanced_Study
|
|
gptkbp:alma_mater
|
gptkb:University_of_Vienna
|
|
gptkbp:awards
|
gptkb:political_movement
gptkb:Brouwer_Medal
|
|
gptkbp:birth_date
|
1906-04-28
|
|
gptkbp:born
|
April 28, 1906
|
|
gptkbp:burial_place
|
gptkb:Princeton_Cemetery
|
|
gptkbp:child
|
gptkb:Kurt_Gödel_Jr.
gptkb:Ruth_Gödel
|
|
gptkbp:children
|
gptkb:musical
|
|
gptkbp:contribution
|
gptkb:product
Mathematical logic
Model theory
Set theory
Computability theory
Philosophy of language
Philosophy of science
Philosophy of mathematics
Philosophy of mind
Formal systems
Proof theory
Foundations of mathematics
Philosophical implications of mathematics
|
|
gptkbp:death_date
|
1978-01-14
|
|
gptkbp:died
|
January 14, 1978
|
|
gptkbp:education
|
gptkb:University_of_Vienna
|
|
gptkbp:field
|
gptkb:philosopher
gptkb:Mathematician
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Kurt Gödel
|
|
gptkbp:influenced
|
gptkb:Paul_Feyerabend
gptkb:Robert_Nozick
gptkb:Daniel_Kahneman
gptkb:Jürgen_Habermas
gptkb:Ludwig_Wittgenstein
gptkb:Noam_Chomsky
gptkb:Robert_Brandom
gptkb:Gottlob_Frege
gptkb:Paul_Cohen
gptkb:Hilary_Putnam
gptkb:G._E._Moore
gptkb:Harvey_Friedman
gptkb:Alfred_Mele
gptkb:W._V._O._Quine
gptkb:Daniel_Dennett
gptkb:Karl_Popper
gptkb:Raymond_Smullyan
gptkb:Richard_Rorty
gptkb:Thomas_Kuhn
gptkb:David_Lewis
gptkb:Gerhard_Gentzen
gptkb:John_von_Neumann
gptkb:David_Chalmers
gptkb:John_Searle
gptkb:Martha_Nussbaum
gptkb:Philip_Kitcher
gptkb:Saul_Kripke
gptkb:David_Papineau
gptkb:Alex_Rosenberg
gptkb:Stephen_Cole_Kleene
gptkb:Daniel_C._Dennett
gptkb:R._M._Hare
gptkb:W._D._Ross
gptkb:John_Mc_Dowell
gptkb:Peter_van_Inwagen
gptkb:John_Barwise
gptkb:Solomon_Feferman
gptkb:Rudolf_Carnap
gptkb:Richard_Jeffrey
gptkb:Michael_Dummett
gptkb:Richard_Boyd
gptkb:J._L._Austin
gptkb:Imre_Lakatos
gptkb:Peter_Railton
gptkb:Alfred_Tarski
|
|
gptkbp:influenced_by
|
gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:Georg_Cantor
|
|
gptkbp:known_for
|
gptkb:Gödel's_paradox
gptkb:Gödel's_constructible_universe
gptkb:Gödel_numbering
gptkb:Gödel's_incompleteness_theorems
gptkb:Gödel's_completeness_theorem
Set theory
Philosophy of mathematics
incompleteness theorems
Gödel's functional completeness theorem
Incompleteness theorems
|
|
gptkbp:nationality
|
gptkb:Monarch
gptkb:Native_American_tribe
|
|
gptkbp:notable_feature
|
gptkb:Gödel's_first_incompleteness_theorem
gptkb:Gödel's_ontological_proof
gptkb:Gödel's_second_incompleteness_theorem
gptkb:Gödel_numbering
gptkb:Gödel's_completeness_theorem
|
|
gptkbp:philosophy
|
gptkb:Mathematical_Platonism
Philosophy of language
Philosophy of science
Philosophy of mathematics
Philosophy of mind
Philosophical logic
Metamathematics
|
|
gptkbp:residence
|
gptkb:Princeton,_New_Jersey
gptkb:Vienna,_Austria
|
|
gptkbp:spouse
|
Adele Nimbursky
|
|
gptkbp:work_location
|
gptkb:Princeton_University
gptkb:University_of_Notre_Dame
gptkb:Institute_for_Advanced_Study
|