scientific article; zbMATH DE number 1234436

zbMATH Open0913.03045MaRDI QIDQ4221237FDOQ4221237

Authors: Lars Kristiansen 

Publication date: 7 June 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Turing machinecomputabilityChurch's thesisTuring's theorem

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Cited In (10)

• Remarks on Church's thesis and Gödel's theorem
• Wittgenstein versus Turing on the nature of Church's thesis
• On the provability, veracity, and AI-relevance of the Church-Turing thesis
• New Computational Paradigms
• Title not available (Why is that?)
• Intensions, Church's Thesis, and the formalization of mathematics
• Title not available (Why is that?)
• The Church-Turing Thesis over Arbitrary Domains
• Why Turing’s Thesis Is Not a Thesis
• The Church-Turing thesis. A last vestige of a failed mathematical program

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)