On the Possibilities of Hypercomputing Supertasks

Minds and Machines 21 (1):83-96 (2011)
Abstract
This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation.
Keywords computing  computability  hypercomputing  effective computing  supertask  Church-Turing thesis  Copeland  Benacerraf  accelerated Turing machine  Zeno machine
Categories (categorize this paper)
DOI 10.1007/s11023-011-9222-6
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
References found in this work BETA
The Emperor's New Mind.Roger Penrose - 1989 - Oxford University Press.
So How Does the Mind Work?Steven Pinker - 2005 - Mind and Language 20 (1):1-38.

View all 29 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
The Broad Conception of Computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.
The Church-Turing Thesis.B. Jack Copeland - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University.
Is the Church-Turing Thesis True?Carol E. Cleland - 1993 - Minds and Machines 3 (3):283-312.
Quantum Speed-Up of Computations.Itamar Pitowsky - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S168-S177.
Accelerating Turing Machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.
Added to PP index
2011-01-03

Total downloads
276 ( #14,316 of 2,231,946 )

Recent downloads (6 months)
27 ( #16,208 of 2,231,946 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature