Minds and Machines

, 19:391

A Brief Critique of Pure Hypercomputation


DOI: 10.1007/s11023-009-9161-7

Cite this article as:
Cotogno, P. Minds & Machines (2009) 19: 391. doi:10.1007/s11023-009-9161-7


Hypercomputation—the hypothesis that Turing-incomputable objects can be computed through infinitary means—is ineffective, as the unsolvability of the halting problem for Turing machines depends just on the absence of a definite value for some paradoxical construction; nature and quantity of computing resources are immaterial. The assumption that the halting problem is solved by oracles of higher Turing degree amounts just to postulation; infinite-time oracles are not actually solving paradoxes, but simply assigning them conventional values. Special values for non-terminating processes are likewise irrelevant, since diagonalization can cover any amount of value assignments. This should not be construed as a restriction of computing power: Turing’s uncomputability is not a ‘barrier’ to be broken, but simply an effect of the expressive power of consistent programming systems.


DiagonalizationHalting problemHypercomputationSuper-taskZeno machine

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.BresciaItaly