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".

The Universal Computer → about →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Grundzüge der theoretischen Logik → influenced →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: Hilbert and Ackermann’s "Grundzüge der theoretischen Logik"
Eleanor Stier → partner →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
John David Stier → father →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: Eleanor Stier
Barkley Rosser → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Critique of the New Problem → citesWorkOf →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Max Newman → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Hao Wang → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Hao Wang → wroteAbout →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Monatshefte für Mathematik → notableAuthor →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Robert Vaught → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
An Eternal Golden Braid → refersTo →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
The Consistency of the Continuum Hypothesis → author →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: Gödel 1940 monograph "The Consistency of the Continuum Hypothesis"
arithmetization of syntax → associatedWith →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Hugh Woodin → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Gödel's Nachlass → namedAfter →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: Gödel's Nachlass (literary estate)
Gödel's Nachlass → creator →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: Gödel's Nachlass (literary estate)
Gödel's Nachlass → documentedLifePeriodOf →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: Gödel's Nachlass (literary estate)
Types, Tableaux and Godel’s God → analyzesWorkOf →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 → containsWorkBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Gödel’s Lost Letter and P=NP → namedAfter →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: blog "Gödel’s Lost Letter and P=NP"
J. Barkley Rosser → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Recursive Functions and Intuitionistic Mathematics → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Hilbert's first problem → resolvedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Journal of Symbolic Logic → associatedWith →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
The Recursive Universe → discussesPerson →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Wilfrid Hodges → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Gregory Chaitin → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Incompleteness: The Proof and Paradox of Kurt Gödel → mainSubject →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Exact Thinking in Demented Times → mentions →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Gaisi Takeuti → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Principles of Mathematical Logic → influenced →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Leon Henkin → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: Henkin
George Boolos → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Jean-Yves Girard → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
proof theory → historicallyDevelopedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
A Logical Journey: From Gödel to Philosophy → mainSubject →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
From Mathematics to Philosophy → influencedBy →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Reflections on Kurt Gödel → mainSubject →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
John David Stier → childOf →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
John David Stier → father →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Adele Gödel → spouse →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
linked to: John David Stier
Gödel–Schmidt example → involvesCharacter →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ
Gödel–Schmidt example → namedAfter →
"Kurt Gödel"
↳ resolves to Kurt Gödel
ⓘ