4 ms·
Refuting the Strong Church-Turing thesis: http://www.engr.uconn.edu/~dqg/papers/strong-cct.pdf http://www.engr.uconn.edu/~dqg/papers/strong-cct.pdf It's not cl
by tree_of_item 8y ago
Refuting the Strong Church-Turing thesis: http://www.engr.uconn.edu/~dqg/papers/strong-cct.pdf http://www.engr.uconn.edu/~dqg/papers/strong-cct.pdf
It's not clear that all physically realizable things are Turing computable.
- ScottBurson 8y agoCarl Hewitt has been making a similar argument for decades: https://cacm.acm.org/blogs/blog-cacm/231495-what-turing-and-church-left-out/fulltext https://cacm.acm.org/blogs/blog-cacm/231495-what-turing-and-...