Note on a reformulation of the strong cosmic censor conjecture based on computability

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 reasonable 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.