Universal computation is the set of rulesets that allow to implement all rulesets that allow universal computation. I suspect that hypercomputation lies outside of universal computation, but a-causal computation does not, i.e. hypercomputation cannot be implemented.
I don't know enough about Penrose's tilings to know why they would be uncomputable though. Do they depend on infinities?
-
-
"human understanding … cannot be computationally simulated" Then he shows a few such uncomputable things.https://youtu.be/eJjydSLEVlU?t=7m40s …
-
Yes, and he is wrong here. Understanding means proving, i.e. creating a mapping to something that you know how to compute. All things a human can prove are computable.
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.