Disambiguation evidence for Gödel's incompleteness theorems via surface form
"Gödel’s incompleteness theorems"
As object (4)
Triples where some other subject referred to this entity
as "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
Church–Turing thesis
→
relatedTo
→
"Gödel’s incompleteness theorems"
ⓘ
↳ resolves to 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
surface form:
On Computable Numbers, with an Application to the Entscheidungsproblem