From reversible to irreversible computations (Green & Altenkirch): http://www.cs.nott.ac.uk/~psztxa/publ/qpl06.pdf … cc @Plinz
I don't think we can have hyperturing stuff. No Malament-Hogarth if I can help it.
-
-
One of the properties of Malament-Hogarth spaces (and some types of hyperbolic spaces) is precisely the non-Turing computation.
-
that is why someone came up with them, no? but I currenty don't think that our universe has such a feature
- 17 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.