6 ms·
This is pretty misleading and click-baity! The formulation they use is quite esoteric and not what people usually think of the term to mean. The Church-Turing T
by rain1 8y ago
This is pretty misleading and click-baity! The formulation they use is quite esoteric and not what people usually think of the term to mean. The Church-Turing Thesis really just states that turing completeness is the strongest type of computational class we can expect to build (finite approximations of) in our universe. And this does seem to be true. I hope the "exciting" title of the talk they chose doesn't cause a lot of people to misunderstand this.