Copyright © 2003 Elsevier B.V. All rights reserved.
Super-tasks, accelerating Turing machines and uncomputability
Received 12 August 2003;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Accelerating Turing machines are devices with the same computational structure as Turing machines (TM), but able to perform super-tasks. We ask whether performing super-tasks alone produces more computational power; for example, whether accelerating TM can solve the halting problem. We conclude that this is not the case. No accelerating TM solves the halting problem. The argument rests on an analysis of the reasoning that leads to Thomson's paradox. The key point is that the paradox rests on a conflation of different perspectives of accelerating processes. This leads to concluding that the same conflation underlies the claim that accelerating TM can solve the halting problem.
Author Keywords: Accelerating Turing machines; Halting problem; Thomson's paradox; Super-task






E-mail Article
Add to my Quick Links

Cited By in Scopus (2)





