International Journal of Theoretical Physics

, Volume 41, Issue 2, pp 341–370

Non-Turing Computations Via Malament–Hogarth Space-Times


DOI: 10.1023/A:1014019225365

Cite this article as:
Etesi, G. & Németi, I. International Journal of Theoretical Physics (2002) 41: 341. doi:10.1023/A:1014019225365


We investigate the Church–Kalmár–Kreisel–Turing theses theoretical concerning (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there are several distinguished Church–Turing-type theses (not only one) and (ii) validity of some of these theses depend on the background physical theory we choose to use. In particular, if we choose classical general relativity theory as our background theory, then the above-mentioned limitations (predicted by these theses) become no more necessary, hence certain forms of the Church–Turing thesis cease to be valid (in general relativity). (For other choices of the background theory the answer might be different.) We also look at various “obstacles” to computing a nonrecursive function (by relying on relativistic phenomena) published in the literature and show that they can be avoided (by improving the “design” of our future computer). We also ask ourselves, how all this reflects on the arithmetical hierarchy and the analytical hierarchy of uncomputable functions.

Copyright information

© Plenum Publishing Corporation 2002

Authors and Affiliations

  1. 1.Yukawa Institute for Theoretical PhysicsKyoto UniversityKyotoJapan
  2. 2.Alfréd Rényi Mathematical Institute of the Hungarian Academy of ScienceBudapestHungary