Disambiguation evidence for Kurt Gödel via surface form

"Kurt Gödel"

Triples (94)

Triples where some other subject referred to this entity as "Kurt Gödel".

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