From reversible to irreversible computations (Green & Altenkirch): http://www.cs.nott.ac.uk/~psztxa/publ/qpl06.pdf … cc @Plinz
that is why someone came up with them, no? but I currenty don't think that our universe has such a feature
-
-
This is a priori rather unlikely, indeed. But in my opinion it's so elegant and aesthetic that I hope it captures a piece of reality.
-
It means that God has to buy a hypercomputer. I am unwilling to sell him one, unless you prove that I must.
- 15 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.