Authors
Jeffrey Barrett
University of California, Irvine
Abstract
In this note, we consider constraints on the physical possibility of transfinite Turing machines that arise from how one models the continuous structure of space and time in one's best physical theories. We conclude by suggesting a version of Church's thesis appropriate as an upper bound for physical computation given how space and time are modeled on our current physical theories
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/bjps/axq016
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,141
Through your library

References found in this work BETA

Infinite Time Turing Machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.
SAD Computers and Two Versions of the Church–Turing Thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
Deciding Arithmetic Using SAD Computers.Mark Hogarth - 2004 - British Journal for the Philosophy of Science 55 (4):681-691.
Infinite Time Turing Machines.Joel Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

SAD Computers and Two Versions of the Church–Turing Thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
Quantum Speed-Up of Computations.Itamar Pitowsky - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S168-S177.
On Implementing a Computation.David J. Chalmers - 1994 - Minds and Machines 4 (4):391-402.
When Physical Systems Realize Functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.
Concrete Digital Computation: What Does It Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
Computation and Hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.
On the Space-Time Ontology of Physical Theories.Kenneth L. Manders - 1982 - Philosophy of Science 49 (4):575-590.
Time Travel and Time Machines.Chris Smeenk & Christian Wuthrich - 2009 - In Craig Callender (ed.), The Oxford Handbook of Philosophy of Time. Oxford: Oxford University Press. pp. 577-630.

Analytics

Added to PP index
2010-11-25

Total views
37 ( #273,317 of 2,404,067 )

Recent downloads (6 months)
1 ( #550,679 of 2,404,067 )

How can I increase my downloads?

Downloads

My notes