ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Theoretical Computer Science
Volume 317, Issues 1-3, 4 June 2004, Pages 105-114
Super-Recursive Algorithms and Hypercomputation
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (194 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.tcs.2003.12.007    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2003 Elsevier B.V. All rights reserved.

Super-tasks, accelerating Turing machines and uncomputability

Oron ShagrirE-mail The Corresponding Author

Department of Philosophy, The Hebrew University of Jeruslaem, Jerusalem 91905, Israel

Received 12 August 2003; 
Revised 17 September 2003. 
Available online 24 December 2003.

Purchase the full-text article



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

Article Outline

• References

Theoretical Computer Science
Volume 317, Issues 1-3, 4 June 2004, Pages 105-114
Super-Recursive Algorithms and Hypercomputation
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.