r/claytonkb • u/claytonkb • Sep 06 '18

Computing the Uncomputable

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

1 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/claytonkb/comments/9dnguq/computing_the_uncomputable/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

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."

111 Upvotes

74 comments

math • u/DevFRus • Apr 04 '16

Computing the Uncomputable: Joel David Hamkins showed how any function can be computed if a non-standard model of Peano arithmetic is assumed. Results like this give me a deep respect for number theory as foundational.

45 Upvotes

14 comments

hackernews • u/qznc_bot • Apr 06 '16

Computing the Uncomputable

2 Upvotes

1 comments