News for hackers. Stuff that matters.
Re:Intelligence as a Halting Oracle by tree_of_item on Monday November 05, 2018 @05:07PM (#18386412)
Refuting the Strong Church-Turing thesis: http://www.engr.uconn.edu/~dqg/papers/strong-cct.pdf

It's not clear that all physically realizable things are Turing computable.

Re:Intelligence as a Halting Oracle by ScottBurson on Monday November 05, 2018 @05:24PM (#18386542)
Carl Hewitt has been making a similar argument for decades: https://cacm.acm.org/blogs/blog-cacm/231495-what-turing-and-...