Kurt Gödel

E18153
human logician mathematician philosopher

Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label Occurrences
Kurt Gödel canonical 62
Gödel 1
Kurt Friedrich Gödel 1

Statements (59)

Predicate Object
instanceOf human ⓘ
logician ⓘ
mathematician ⓘ
philosopher ⓘ
academicDegree PhD in mathematics ⓘ
awardReceived Albert Einstein Award ⓘ
National Medal of Science ⓘ
causeOfDeath malnutrition ⓘ
citizenship Austria ⓘ
Czechoslovakia ⓘ
United States of America ⓘ
countryOfBirth Austro-Hungarian Empire ⓘ
surface form: Austria-Hungary
countryOfDeath United States of America ⓘ
dateOfBirth 1906-04-28 ⓘ
dateOfDeath 1978-01-14 ⓘ
doctoralAdvisor Hans Hahn ⓘ
educatedAt University of Vienna ⓘ
employer Institute for Advanced Study ⓘ
familyName Kurt Gödel self-linksurface differs ⓘ
surface form: Gödel
fieldOfWork mathematical logic ⓘ
philosophical logic ⓘ
philosophy of mathematics ⓘ
proof theory ⓘ
set theory ⓘ
fullName Kurt Gödel self-linksurface differs ⓘ
surface form: Kurt Friedrich Gödel
givenName Kurt ⓘ
influenced Alan Turing ⓘ
Hilary Putnam ⓘ
Paul Cohen ⓘ
Saul Kripke ⓘ
Solomon Feferman ⓘ
influencedBy Bertrand Russell ⓘ
David Hilbert ⓘ
Edmund Husserl ⓘ
Gottlob Frege ⓘ
knownFor completeness theorem ⓘ
consistency of the axiom of choice with ZF ⓘ
consistency of the generalized continuum hypothesis with ZF ⓘ
Gödel's incompleteness theorems ⓘ
surface form: incompleteness theorems
languageSpoken English ⓘ
German ⓘ
memberOf Austrian Academy of Sciences ⓘ
Institute for Advanced Study ⓘ
National Academy of Sciences ⓘ
movement analytic philosophy ⓘ
notableIdea Gödel's ontological proof ⓘ
notableWork Gödel metric ⓘ
Gödel numbering ⓘ
Gödel's incompleteness theorems ⓘ
completeness theorem for first-order logic ⓘ
constructible universe ⓘ
placeOfBirth Brno ⓘ
Moravia ⓘ
placeOfDeath Princeton, New Jersey, United States ⓘ
surface form: Princeton, New Jersey
religiousBelief theism ⓘ
residence Princeton, New Jersey, United States ⓘ
surface form: Princeton, New Jersey

Vienna ⓘ
spouse Adele Gödel ⓘ
workLocation Princeton, New Jersey, United States ⓘ
surface form: Princeton, New Jersey

Referenced by (64)

Full triples — surface form annotated when it differs from this entity's canonical label.

logical positivism → keyFigure → Kurt Gödel ⓘ
David Hilbert → influenced → Kurt Gödel ⓘ
Institute for Advanced Study → notableScholar → Kurt Gödel ⓘ
Princeton University Press → notableAuthorPublished → Kurt Gödel ⓘ
liar paradox → studiedBy → Kurt Gödel ⓘ
Vienna Circle → member → Kurt Gödel ⓘ
Gödel Prize → namedAfter → Kurt Gödel ⓘ
Kurt Gödel → fullName → Kurt Gödel self-linksurface differs ⓘ
this entity surface form: Kurt Friedrich Gödel
Kurt Gödel → familyName → Kurt Gödel self-linksurface differs ⓘ
this entity surface form: Gödel
Albert Einstein Award → firstRecipient → Kurt Gödel ⓘ
Albert Einstein Award → notableRecipient → Kurt Gödel ⓘ
University of Vienna → notableAlumni → Kurt Gödel ⓘ
Princeton University Department of Mathematics → hasNotableFaculty → Kurt Gödel ⓘ
Princeton Cemetery → containsGraveOf → Kurt Gödel ⓘ
von Neumann–Bernays–Gödel set theory → wasDevelopedBy → Kurt Gödel ⓘ
Georg Cantor → influenced → Kurt Gödel ⓘ
Alvin Plantinga → influencedBy → Kurt Gödel ⓘ
Raymond Smullyan → influencedBy → Kurt Gödel ⓘ
Hilbert’s program → challengedBy → Kurt Gödel ⓘ
Alonzo Church → influenced → Kurt Gödel ⓘ
Douglas Hofstadter → influencedBy → Kurt Gödel ⓘ
Jacques Herbrand → influenced → Kurt Gödel ⓘ
Martin Davis → influencedBy → Kurt Gödel ⓘ
School of Mathematics → employerOf → Kurt Gödel ⓘ
Ernst Zermelo → influenced → Kurt Gödel ⓘ
Gödel's incompleteness theorems → namedAfter → Kurt Gödel ⓘ
Gödel's incompleteness theorems → author → Kurt Gödel ⓘ
axiom of choice → independenceProvedBy → Kurt Gödel ⓘ
Gödel, Escher, Bach → subject → Kurt Gödel ⓘ
completeness theorem for first-order logic → author → Kurt Gödel ⓘ
constructible universe → introducedBy → Kurt Gödel ⓘ
Gödel numbering → inventedBy → Kurt Gödel ⓘ
Gödel metric → namedAfter → Kurt Gödel ⓘ
Gödel metric → introducedBy → Kurt Gödel ⓘ
Gödel's ontological proof → creator → Kurt Gödel ⓘ
Adele Gödel → spouse → Kurt Gödel ⓘ
Adele Gödel → partner → Kurt Gödel ⓘ
Adele Gödel → supported → Kurt Gödel ⓘ
Adele Gödel → providedCareFor → Kurt Gödel ⓘ
Hans Hahn → notableStudent → Kurt Gödel ⓘ
Hans Hahn → influenced → Kurt Gödel ⓘ
Kurt → hasNotableBearer → Kurt Gödel ⓘ
Solomon Feferman → influencedBy → Kurt Gödel ⓘ
Paul Bernays → influenced → Kurt Gödel ⓘ
continuum hypothesis → shownIndependentBy → Kurt Gödel ⓘ
Computability Theory → hasKeyFigure → Kurt Gödel ⓘ
Western mathematics → hasKeyFigure → Kurt Gödel ⓘ
Rebecca Goldstein → writesAbout → Kurt Gödel ⓘ
Hofstadter → influencedBy → Kurt Gödel ⓘ
subject surface form: Douglas Hofstadter
I Am a Strange Loop → influencedBy → Kurt Gödel ⓘ