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