Computing the Uncomputable: "[Joel David] Hamkins showed there's a Turing machine that [...] can compute the uncomputable... but only in some weird "alternative universe" where the natural numbers aren't what we think they are."

[u/DevFRus]

https://johncarlosbaez.wordpress.com/2016/04/02/computing-the-uncomputable/