Hypercomputation and the Physical Church‐Turing Thesis | Semantic Scholar Skip to search formSkip to main content> Semantic Scholar's Logo Search Sign InCreate Free Account You are currently offline. Some features of the site may not work correctly. DOI:10.1093/bjps/54.2.181 Corpus ID: 17915665Hypercomputation and the Physical Church‐Turing Thesis @article{Cotogno2003HypercomputationAT, title={Hypercomputation and the Physical Church‐Turing Thesis}, author={Paolo Cotogno}, journal={The British Journal for the Philosophy of Science}, year={2003}, volume={54}, pages={181 - 223} } Paolo Cotogno Published 2003 Computer Science The British Journal for the Philosophy of Science A version of the Church‐Turing Thesis states that every effectively realizable physical system can be defined by Turing Machines (‘Thesis P’); in this formulation the Thesis appears an empirical, more than a logico‐mathematical, proposition. We review the main approaches to computation beyond Turing definability (‘hypercomputation’): supertask, non‐well‐founded, analog, quantum, and retrocausal computation. These models depend on infinite computation, explicitly or implicitly, and appear… Expand View on U of Chicago Save to Library Create Alert Cite Launch Research Feed Share This Paper 47 CitationsHighly Influential Citations 3 Background Citations 18 Methods Citations 4 Results Citations 1 View All Topics from this paper Hypercomputation Church–Turing thesis Supertask Halting problem Intuitionistic logic Computable function Interactive computation Computability Analog computer Computation (action) Mathematics Quantum logic Hilbert space Quantum computing Digital data Exclusion Qubit Counterfactual definiteness Randomness Real life Parallel computing The Matrix Computers Linear algebra Calculi 47 Citations Citation Type Citation Type All Types Cites Results Cites Methods Cites Background Has PDF Publication Type Author More Filters More Filters Filters Sort by Relevance Sort by Most Influenced Papers Sort by Citation Count Sort by Recency SAD Computers and Two Versions of the Church–Turing Thesis T. Button Computer Science The British Journal for the Philosophy of Science 2009 9 PDF Save Alert Research Feed How to Make a Meaningful Comparison of Models: The Church–Turing Thesis Over the Reals Maël Pégny Computer Science Minds and Machines 2016 4 View 1 excerpt, cites methods Save Alert Research Feed A Brief Critique of Pure Hypercomputation Paolo Cotogno Computer Science Minds and Machines 2009 5 View 3 excerpts, cites methods and background Save Alert Research Feed The Physical Church–Turing Thesis: Modest or Bold? G. Piccinini Computer Science The British Journal for the Philosophy of Science 2011 39 Highly Influenced PDF View 4 excerpts, cites background Save Alert Research Feed Are Gandy Machines Really Local V. Fano, P. Graziani, Roberto Macrelli, G. Tarozzi Computer Science 2016 Save Alert Research Feed Zeno machines and hypercomputation P. Potgieter Mathematics, Computer Science Theor. Comput. Sci. 2006 24 PDF Save Alert Research Feed On the Possibilities of Hypercomputing Supertasks V. Müller Computer Science Minds and Machines 2011 4 PDF View 3 excerpts, cites background and methods Save Alert Research Feed On the Possibility, or Otherwise, of Hypercomputation P. Welch Mathematics The British Journal for the Philosophy of Science 2004 14 Highly Influenced View 4 excerpts, cites background Save Alert Research Feed Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy G. Piccinini Mathematics, Computer Science Synthese 2005 24 PDF Save Alert Research Feed What is the Church-Turing Thesis? Udi Boker, Nachum Dershowitz 2020 PDF View 1 excerpt, cites background Save Alert Research Feed ... 1 2 3 4 5 ... References SHOWING 1-10 OF 178 REFERENCES SORT BYRelevance Most Influenced Papers Recency Physical Hypercomputation and the Church–Turing Thesis Oron Shagrir, I. Pitowsky Computer Science Minds and Machines 2004 66 PDF Save Alert Research Feed ARTIFICIAL SEMANTICALLY CLOSED OBJECTS Luis Rocha, Luis Mateus Rocha 1998 10 PDF Save Alert Research Feed Is the Church-Turing thesis true? C. Cleland Computer Science Minds and Machines 2004 50 View 1 excerpt, references background Save Alert Research Feed Computation and Hypercomputation M. Stannett Computer Science Minds and Machines 2004 31 Highly Influential PDF View 1 excerpt, references background Save Alert Research Feed Church's thesis and its relation to the concept of realizability in biology and physics. R. Rosen Computer Science, Medicine The Bulletin of mathematical biophysics 1962 42 PDF Save Alert Research Feed Non-Turing Computations Via Malament–Hogarth Space-Times G. Etesi, I. N'emeti Physics 2001 174 PDF Save Alert Research Feed Quantum Speed‐up of Computations I. Pitowsky Computer Science Philosophy of Science 2002 23 Save Alert Research Feed The Broad Conception of Computation B. J. Copeland Computer Science 1997 57 Highly Influential View 6 excerpts, references background and methods Save Alert Research Feed Quantum theory, the Church–Turing principle and the universal quantum computer D. Deutsch Mathematics Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences 1985 3,560 Highly Influential PDF View 7 excerpts, references background and methods Save Alert Research Feed History of \church's Theses" and a Manifesto on Converting Physics into a Rigorous Algorithmic Discipline D. Smithwds 1999 2 Save Alert Research Feed ... 1 2 3 4 5 ... Related Papers Abstract Topics 47 Citations 178 References Related Papers Stay Connected With Semantic Scholar Sign Up About Semantic Scholar Semantic Scholar is a free, AI-powered research tool for scientific literature, based at the Allen Institute for AI. Learn More → Resources DatasetsSupp.aiAPIOpen Corpus Organization About UsResearchPublishing PartnersData Partners   FAQContact Proudly built by AI2 with the help of our Collaborators Terms of Service•Privacy Policy The Allen Institute for AI By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License ACCEPT & CONTINUE