Gabor Etesi:


            Reformulation of the strong cosmic censor conjecture 
                         based on computability


                                Abstract


In this lecture we provide a refomulation 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
reformulated 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 the
consistency of ZFC set theory.

In this way we get an intimate conjectured link between the cosmic
censorship scenario and computability theory.