## Non-Turing computations via Malament-Hogarth space-times (2002)

Venue: | Int. J. Theoretical Phys |

Citations: | 66 - 8 self |

### BibTeX

@ARTICLE{Etesi02non-turingcomputations,

author = {Gábor Etesi and István Németi},

title = {Non-Turing computations via Malament-Hogarth space-times},

journal = {Int. J. Theoretical Phys},

year = {2002},

pages = {341--370}

}

### Years of Citing Articles

### OpenURL

### Abstract

We investigate the Church–Kalmár–Kreisel–Turing Theses concerning theoretical (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 non-recursive 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.

### Citations

1240 | The Large Scale Structure of Space-Time - Hawking, Ellis - 1974 |

502 |
General relativity
- Wald
- 1984
(Show Context)
Citation Context ...e, there must exist a function, which cannot be realized by a thought-experiment. 3 Computers in the Kerr space-time In this section we will follow the notation and terminology of [4] (see also [11], =-=[30]-=-). By a spacetime we mean a pair (M, g) where M is a smooth, oriented and time-oriented four-manifold while g is a smooth Lorentzian metric on M which is a solution to the Einstein’s equations with re... |

309 |
Classical Recursion Theory
- Odifreddi
- 1989
(Show Context)
Citation Context ...al computer science, artificial intelligence, cognitive science, etc.) the “abstract computer-oriented” version of the Thesis is being used essentially under the name “Church’s Thesis”, cf. Odifreddi =-=[21]-=-, I.8. (pp. 101-122), Gandy [8], Kreisel [16]. Consequently we think that it is completely justified to investigate the question of under what assumptions these “incarnations” of the Thesis are valid ... |

73 | Infinite time turing machines - Hamkins - 2002 |

60 | Quantum algorithm for hilbert’s tenth problem
- Kieu
(Show Context)
Citation Context ...er works like [5], [6] and [7] is more on “supertasks” rather than on the Church–Kalmár–Turing Theses. Other related work we mention is Grünbaum’s [9] while a quantum mechanical idea is worked out in =-=[15]-=- related with Hilbert’s tenth problem. This list of references is far from being complete, e.g. we should have mentioned the important papers of Hogarth [12][13] which will be essential in our conside... |

57 |
Church’s thesis and principles for mechanisms
- Gandy
- 1980
(Show Context)
Citation Context ...intelligence, cognitive science, etc.) the “abstract computer-oriented” version of the Thesis is being used essentially under the name “Church’s Thesis”, cf. Odifreddi [21], I.8. (pp. 101-122), Gandy =-=[8]-=-, Kreisel [16]. Consequently we think that it is completely justified to investigate the question of under what assumptions these “incarnations” of the Thesis are valid and it is reasonable then to re... |

42 |
J.I.: Computability in Analysis and Physics
- Pour-El, Richards
- 1989
(Show Context)
Citation Context ...ting around nuclei; this statement is not true in a more general theory, called quantum mechanics. 9 In principle this non-equivalence could be attacked by the approach of the school of Pour-El et al =-=[29]-=- but here we are “more ambitious” in the sense that we want to keep our computers “programmable and logic oriented”G. Etesi, I. Németi: Black Holes and the Church–Turing Thesis 4 Further, we note tha... |

37 | Non-Turing computers and non-Turing computability - Hogarth - 1994 |

28 |
Internal structure of black holes
- Poisson, Israel
- 1990
(Show Context)
Citation Context ... on the metric near the inner horizon. At first look, in the case of perturbations of the metric by a scalar field, this singularity turns out to be a scalar curvature divergence on the inner horizon =-=[28]-=-. This fact is usually interpreted as the instability of the (vacuum) Kerr space-time. Hence, after realizing the mass-inflation phenomenon, physicists supposed the non-traversability of the Kerr blac... |

22 |
G.F.R.: “The Large Scale Structure of Space-Time
- Hawking, Ellis
- 1973
(Show Context)
Citation Context ...erefore, there must exist a function, which cannot be realized by a thought-experiment. 3 Computers in the Kerr space-time In this section we will follow the notation and terminology of [4] (see also =-=[11]-=-, [30]). By a spacetime we mean a pair (M, g) where M is a smooth, oriented and time-oriented four-manifold while g is a smooth Lorentzian metric on M which is a solution to the Einstein’s equations w... |

20 |
Inner structure of a charged black hole: an exact mass-inflation solution
- Ori
- 1991
(Show Context)
Citation Context ...rr space-time. Hence, after realizing the mass-inflation phenomenon, physicists supposed the non-traversability of the Kerr black hole. A more careful analysis of the situation was carried out by Ori =-=[23]-=-[24] in the case of the Reissner–Nordström black hole and partially in the case of the Kerr–Newman black hole, however. In accordance with his calculations (accepting the validity of certain technical... |

17 |
The geometry of Kerr black holes
- O’Neill
- 1995
(Show Context)
Citation Context ...e case of the vacuum Kerr space-time (M, g). This means that we have to describe the time-like curves γO and γP around a slowly rotating black hole of zero electric charge. To do this, we will follow =-=[22]-=-. Using Boyer–Lindquist coordinates (t, r, ϑ, ϕ), the Kerr metric g with parameters m > 0 (mass) and a (angular momentum per unit mass) locally takesG. Etesi, I. Németi: Black Holes and the Church–Tu... |

16 | Forever Is a Day: Supertasks - Earman, Norton - 1993 |

14 |
The physical Church thesis and physical computational complexity, Iyyun 39
- Pitowsky
- 1990
(Show Context)
Citation Context ...d realizability by an algorithm in the mathematical sense (where we note that the mathematical notion of the algorithm goes back to ancient Greeks, in some sense). Remark. Some authors, e.g. Pitowsky =-=[27]-=- argue that the Thesis we are interested in is not really Church’s Thesis but Wolfram’s Thesis (cf. [Wolfram 1985] from the references in [27]). The argument states that Church was not interested in c... |

10 | Deciding arithmetic in Malament–Hogarth spacetimes, British J. Philos. Sci., accepted for publication, 2002; available in electronic form from http://www.hypercomputation.net/ download/2002a hogarth.pdf
- Hogarth
(Show Context)
Citation Context ...antum mechanical idea is worked out in [15] related with Hilbert’s tenth problem. This list of references is far from being complete, e.g. we should have mentioned the important papers of Hogarth [12]=-=[13]-=- which will be essential in our considerations. Hamkins and Lewis [10] is a recent paper in this direction. In view of the above, the purposes of the present paper are the following: (i) put the empha... |

8 |
Black hole uniqueness from a hidden symmetry of Einstein’s gravity
- Mazur
- 1984
(Show Context)
Citation Context ... going to focus our attention to the Kerr space-time because in light of the celebrated black hole uniqueness theorem (see [11], or for an overview [30] while a short new proof was presented by Mazur =-=[17]-=-) this space-time is the only candidate for the late-time evolution of a collapsed rotating star. Hence existence of Kerr black holes in the Universe is physically very reasonable even in our neighbou... |

7 |
with contributions from Andai
- Andréka, Madarász, et al.
(Show Context)
Citation Context ...een around for a while. For example in the academic year 1987/88 at the University of Iowa in Ames (USA) one of the present authors gave a course in which these ideas were discussed 11 , see also [1] =-=[2]-=-; in 1990 Pitowsky in [27] considered such ideas in a slightly more pessimistic spirit, and in 1995 Earman in [4] examined such ideas under the name of constructibility or possibility of Plato machine... |

7 |
On the traversability of the Cauchy horizon: Herman and Hiscock’s argument revisited
- Ori
- 1997
(Show Context)
Citation Context ...for γO although one may worry about the intensive pair creation induced by the extremely high energy photons [3]. Of course these considerations require more detailed analysis in the future, see also =-=[26]-=-. Summing up, we can conclude that accepting a very rough, classical picture for the inner horizon of the Reissner–Nordström and Kerr–Newman black holes, their traversability is reasonable. In our art... |

6 |
Structure of the singularity inside a realistic rotating black
- Ori
- 1992
(Show Context)
Citation Context ...pace-time. Hence, after realizing the mass-inflation phenomenon, physicists supposed the non-traversability of the Kerr black hole. A more careful analysis of the situation was carried out by Ori [23]=-=[24]-=- in the case of the Reissner–Nordström black hole and partially in the case of the Kerr–Newman black hole, however. In accordance with his calculations (accepting the validity of certain technical ass... |

3 |
Radiative evolution of orbits around a Kerr black
- Ori
- 1995
(Show Context)
Citation Context ... out for the relativistic computer designed in the present paper. (2) The stability of the circular orbit around the Kerr black hole required for γP was also studied by Kennefick and Ori [14] and Ori =-=[25]-=-. They studied the effect of the gravitational radiation of the Kerr black hole on the evolution of a point particle moving on an initially circular orbit around the Kerr black hole. The answer is als... |

1 |
I.: Logical analysis of special relativity theory, in: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday
- Andréka, Madarász, et al.
(Show Context)
Citation Context ...ve been around for a while. For example in the academic year 1987/88 at the University of Iowa in Ames (USA) one of the present authors gave a course in which these ideas were discussed 11 , see also =-=[1]-=- [2]; in 1990 Pitowsky in [27] considered such ideas in a slightly more pessimistic spirit, and in 1995 Earman in [4] examined such ideas under the name of constructibility or possibility of Plato mac... |

1 |
A.: Are physical objects necessarily burnt up by the blue sheet inside a black
- Burko, Ori
- 1995
(Show Context)
Citation Context ... the strong (electromagnetic) radiation absorbed by γO during the course of crossing the inner event horizon, as another consequence of the blueshift effect. This problem was studied by Burko and Ori =-=[3]-=-. They conclude that these effects remain also finite making it theoretically possible to survive such an encounter for γO although one may worry about the intensive pair creation induced by the extre... |

1 |
crunches, whimpers and shrieks, Chapter 4: Supertasks
- Earman
- 1995
(Show Context)
Citation Context ...ssical general relativity theory some forms of the Church–Kalmár–Turing Theses admit a counterexample. We will find that, very probably, such a counterexample is possible, at least in theory. Both in =-=[4]-=- and in [27] there are some obstacles to the possibility of such kinds of counterexamples. We will look at these obstacles one by one in Section 4 and will argue that they can be avoided in the case o... |

1 | J.D.: In pains: the problem with supertask - Earman, Norton - 1996 |

1 |
J.D.: Comments on Laraudogoitia’s “Classical particle dynamics, indeterminism and supertasks
- Earman, Norton
- 1998
(Show Context)
Citation Context ... 1995 Earman in [4] examined such ideas under the name of constructibility or possibility of Plato machines ([4] pp. 101-123). However, the emphasis in Earman’s book and other works like [5], [6] and =-=[7]-=- is more on “supertasks” rather than on the Church–Kalmár–Turing Theses. Other related work we mention is Grünbaum’s [9] while a quantum mechanical idea is worked out in [15] related with Hilbert’s te... |

1 | Can an in of operations be performed in a time - Grunbaum - 1969 |

1 |
A.: Radiation-reaction induced evolution of circular orbits of particles around Kerr black holes, Phys
- Kennefick, Ori
- 1996
(Show Context)
Citation Context ...n 6 are ruled out for the relativistic computer designed in the present paper. (2) The stability of the circular orbit around the Kerr black hole required for γP was also studied by Kennefick and Ori =-=[14]-=- and Ori [25]. They studied the effect of the gravitational radiation of the Kerr black hole on the evolution of a point particle moving on an initially circular orbit around the Kerr black hole. The ... |

1 |
The heart of the Milky
- Melia
- 2000
(Show Context)
Citation Context ...able even in our neighbourhood. For instance, a candidate for such a black hole is the supermassive compact object in the center of the Milky Way; this question can be decided in the next few decades =-=[18]-=-. In this context it is remarkable that this space-time possesses the Malament–Hogarth property. Now we would like to construct the artificial computing system G = (γP, γO) as a correct thought-experi... |

1 |
computers, black holes, spacetime foam and Holographic Principle, to appear
- Ng
(Show Context)
Citation Context ...ry theory of quantum gravity has not been formulated yet. We can do only naive considerations taking into account the basic principles of quantum mechanics and general relativity. Using results of Ng =-=[19]-=- we can say the following about the accuracy of time measurment. Assume we have a clock with total running time ∆T over which it can remain accurate and is capable for a time measurment of accuracy ∆t... |

1 |
J.D.: Infinite pains: the problem with supertask
- Earman, Norton
- 1996
(Show Context)
Citation Context ..., and in 1995 Earman in [4] examined such ideas under the name of constructibility or possibility of Plato machines ([4] pp. 101-123). However, the emphasis in Earman’s book and other works like [5], =-=[6]-=- and [7] is more on “supertasks” rather than on the Church–Kalmár–Turing Theses. Other related work we mention is Grünbaum’s [9] while a quantum mechanical idea is worked out in [15] related with Hilb... |

1 |
Can an infinitude of operations be performed in a finite time
- Grünbaum
- 1969
(Show Context)
Citation Context ...-123). However, the emphasis in Earman’s book and other works like [5], [6] and [7] is more on “supertasks” rather than on the Church–Kalmár–Turing Theses. Other related work we mention is Grünbaum’s =-=[9]-=- while a quantum mechanical idea is worked out in [15] related with Hilbert’s tenth problem. This list of references is far from being complete, e.g. we should have mentioned the important papers of H... |

1 |
A.: Infinite time Turing machines, Journ
- Hamkins, Lewis
(Show Context)
Citation Context ...th problem. This list of references is far from being complete, e.g. we should have mentioned the important papers of Hogarth [12][13] which will be essential in our considerations. Hamkins and Lewis =-=[10]-=- is a recent paper in this direction. In view of the above, the purposes of the present paper are the following: (i) put the emphasis on the Church–Kalmár–Turing Theses (instead ofe.g. supertasks) in ... |