Note on a reformulation of the strong cosmic censor conjceture based on computability
arXiv:gr-qc/0207086 · doi:10.1016/S0370-2693(02)02966-0
Abstract
In this letter we provide a reformulation of the strong cosmic censor conjecture taking into account recent results on Malament--Hogarth space-times. We claim that the strong version of the cosmic censor conjecture can be formulated by postulating that a physically relevant space-time is either globally hyperbolic or possesses the Malament--Hogarth property. But it is known that a Malament--Hogarth space-time in principle is capable for performing non-Turing computations such as checking consistency of ZFC set theory. In this way we get an intimate conjectured link between the cosmic censorship scenario and computability theory.
LaTeX, 9 pages, 1 eps-figure; minor typos corrected and journal reference added