scientific article; zbMATH DE number 1234436

MaRDI QIDQ4221237zbMATH OpenFDO

Authors Lars Kristiansen

Publication date 7 June 1999

zbMATH Keywords

Church's thesiscomputabilityTuring machineTuring's theorem

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Recommendations

• The Church-Turing thesis. A last vestige of a failed mathematical program
• Reflections on the Church-Turing thesis
• Why Turing’s Thesis Is Not a Thesis
• scientific article; zbMATH DE number 5064392
• Remarks on Church's thesis and Gödel's theorem

Cited in

(13)

• Wittgenstein versus Turing on the nature of Church's thesis
• Intensions, Church's Thesis, and the formalization of mathematics
• scientific article; zbMATH DE number 6823178 (Why is no real title available?)
• Why Turing’s Thesis Is Not a Thesis
• Reflections on the Church-Turing thesis
• A formalization and proof of the extended Church-Turing thesis (extended abstract)
• The Church-Turing Thesis over Arbitrary Domains
• On the provability, veracity, and AI-relevance of the Church-Turing thesis
• The Church-Turing thesis. A last vestige of a failed mathematical program
• scientific article; zbMATH DE number 5064392 (Why is no real title available?)
• Remarks on Church's thesis and Gödel's theorem
• Cleland on Church's thesis and the limits of computation
• New Computational Paradigms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4221237)