Logical Approaches to Computational Barriers

DOI10.1007/11780342MaRDI QIDQ5898809zbMATH OpenOpenAlexDBLPFDO

Authors Martin Davis

Publication date 30 April 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780342

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10) History of computer science (68-03)

Recommendations

• Reflections on the Church-Turing thesis
• The Church-Turing thesis. A last vestige of a failed mathematical program
• scientific article; zbMATH DE number 6823178
• Why Turing’s Thesis Is Not a Thesis
• scientific article; zbMATH DE number 5064395

Cited in

(13)

• Physical constraints on hypercomputation
• On linear hereditary laws
• scientific article; zbMATH DE number 5722781 (Why is no real title available?)
• scientific article; zbMATH DE number 4074442 (Why is no real title available?)
• scientific article; zbMATH DE number 6823178 (Why is no real title available?)
• Why Turing’s Thesis Is Not a Thesis
• How Not To Use the Church-Turing Thesis Against Platonism
• Reflections on the Church-Turing thesis
• Mathematical and technological computability
• What is the Church-Turing Thesis?
• scientific article; zbMATH DE number 5064395 (Why is no real title available?)
• New Computational Paradigms
• Undecidability in physics: a review

This page was built for publication: Logical Approaches to Computational Barriers

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