Disambiguation evidence for Gödel's incompleteness theorems via surface form
"Gödel's incompleteness theorems"
Triples (14)
Triples where some other subject referred to this entity
as "Gödel's incompleteness theorems".
liar paradox
→
relatedTo
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Kurt Gödel
→
notableWork
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Tarski's undefinability theorem
→
relatedTo
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Gödel, Escher, Bach
→
subject
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Gödel numbering
→
usedIn
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Halting problem
→
relatedTo
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Hao Wang
→
mainInterest
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Löb's theorem
→
refines
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Orch-OR theory of consciousness
→
influencedBy
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
The Emperor's New Mind
→
mainSubject
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
arithmetization of syntax
→
associatedWith
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Davis–Putnam–Robinson–Matiyasevich theorem
→
relatedTo
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Reflections on Kurt Gödel
→
subject
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Reflections on Kurt Gödel
→
relatedTo
→
"Gödel's incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems