Disambiguation evidence for Gödel's incompleteness theorems via surface form
"Gödel’s incompleteness theorems"
Triples (13)
Triples where some other subject referred to this entity
as "Gödel’s incompleteness theorems".
On Computable Numbers, with an Application to the Entscheidungsproblem
→
relatedTo
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Church–Turing thesis
→
relatedTo
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Hilbert’s program
→
challengedBy
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Berry paradox
→
relatedTo
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Forever Undecided
→
subject
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Hilbert’s second problem
→
relatedTo
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
I Am a Strange Loop
→
influencedBy
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
The Undecidable
→
subject
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
The Consistency of the Continuum Hypothesis
→
relatedWork
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Gentzen’s consistency proof for arithmetic
→
relatedTo
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
A Logical Journey: From Gödel to Philosophy
→
hasSubject
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
From Mathematics to Philosophy
→
mainSubject
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Rosser sentence
→
relatedTo
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems