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)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
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.
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.

View all 24 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.
Hypercomputation and the Physical Church-Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.
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.

Monthly downloads

Added to index

2011-01-03

Total downloads

242 ( #14,345 of 2,158,404 )

Recent downloads (6 months)

56 ( #4,337 of 2,158,404 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums