|
gptkbp:instance_of
|
gptkb:philosopher
gptkb:Mathematician
gptkb:Logic
|
|
gptkbp:affiliation
|
gptkb:Institute_for_Advanced_Study
|
|
gptkbp:alma_mater
|
gptkb:University_of_Vienna
|
|
gptkbp:awards
|
gptkb:National_Medal_of_Science
gptkb:Brouwer_Medal
|
|
gptkbp:birth_date
|
1906-04-28
|
|
gptkbp:born_on
|
April 28, 1906
|
|
gptkbp:burial_place
|
gptkb:Princeton_Cemetery
|
|
gptkbp:child
|
gptkb:Kurt_Gödel_Jr.
gptkb:Ruth_Gödel
|
|
gptkbp:children
|
gptkb:1
|
|
gptkbp:contribution
|
gptkb:political_theory
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_on
|
January 14, 1978
|
|
gptkbp:education
|
gptkb:University_of_Vienna
|
|
gptkbp:field
|
gptkb:Mathematics
gptkb:Logic
gptkb:philosophy
|
|
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:American
gptkb:Austrian
|
|
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
|
|
gptkbp:bfsParent
|
gptkb:Set
gptkb:Wolfgang_Pauli
gptkb:Christianity
gptkb:David_Hilbert
gptkb:John_Nash
gptkb:Bernhard_Riemann
gptkb:Georg_Cantor
gptkb:Institute_for_Theoretical_Physics
gptkb:Royal_Swedish_Academy_of_Sciences
gptkb:Alfred_Tarski
gptkb:Leonardo_Fibonacci
|
|
gptkbp:bfsLayer
|
4
|