Text this: A Proof of the Geroch-Horowitz-Penrose Formulation of the Strong Cosmic Censor Conjecture Motivated by Computability Theory.