Disambiguation evidence for Church–Turing thesis via surface form

"Church–Turing thesis"

Triples (20)

Triples where some other subject referred to this entity as "Church–Turing thesis".

Alonzo Church → knownFor →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
linked to: Church (surname)
On Computable Numbers, with an Application to the Entscheidungsproblem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
linked to: On Computable Numbers with an Application to the Entscheidungsproblem
Alonzo Church → notableWork →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Computing Machinery and Intelligence → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Gödel's incompleteness theorems → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Entscheidungsproblem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Halting problem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Computability Theory → fieldOfStudy →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Computability and Unsolvability → topic →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
The Universal Computer → about →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Hilbert’s tenth problem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
physical symbol system hypothesis → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Rice's theorem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Kleene’s normal form theorem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Recursive Functions and Intuitionistic Mathematics → subject →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Elements of the Theory of Computation → hasTopic →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Hilbert's tenth problem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
linked to: H10
Davis–Putnam–Robinson–Matiyasevich theorem → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Limits on Efficient Computation in the Physical World → relatedTo →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ
Theory of Recursive Functions and Effective Computability → topic →
"Church–Turing thesis"
↳ resolves to Church–Turing thesis
ⓘ