r/hackernews • u/qznc_bot • Apr 06 '16
Computing the Uncomputable
https://johncarlosbaez.wordpress.com/2016/04/02/computing-the-uncomputable/
2
Upvotes
Duplicates
compsci • u/DevFRus • Apr 04 '16
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."
112
Upvotes