A Proof of the Geroch-Horowitz-Penrose Formulation of the Strong Cosmic Censor Conjecture Motivated by Computability Theory. - Etesi, Gábor (International Journal of Theoretical Physics, 2013)