From reversible to irreversible computations (Green & Altenkirch): http://www.cs.nott.ac.uk/~psztxa/publ/qpl06.pdf … cc @Plinz
-
-
'God' is a word that has no meaning for me. Nevertheless, non-Turing computability is an outgrowth of turingian universes.
-
It's only necessary to explain some epiphenomena whose status is still unclear today (things that you can't do in your standard...
- 13 more replies
New conversation -
-
-
What if another god comes round having one, and his universe boots faster? (Insert complexity classes that don’t fit tweet)
-
The big question at the moment is really if quantum computers can truly outperform parallel classical ones.
- 4 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.