Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMATH Open1145.03300DBLPconf/cie/2006OpenAlexW4255986326MaRDI QIDQ5898809FDOQ5898809

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

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

Mathematics Subject Classification ID

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

Cited In (12)

• What is the Church-Turing Thesis?
• Title not available (Why is that?)
• Reflections on the Church-Turing thesis
• Title not available (Why is that?)
• Physical constraints on hypercomputation
• New Computational Paradigms
• On linear hereditary laws
• Mathematical and technological computability
• How Not To Use the Church-Turing Thesis Against Platonism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Why Turing’s Thesis Is Not a Thesis

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)