From reversible to irreversible computations (Green & Altenkirch): http://www.cs.nott.ac.uk/~psztxa/publ/qpl06.pdf … cc @Plinz
-
-
Replying to @mcarberg
Simply build attractor systems on top of reversibles, flush out difference between supervenient system and substrate (entropy)
1 reply 0 retweets 1 like -
-
I'm sure the way of cellular automata in hyperbolic and Malament-Hogarth spaces (plus a few other doodads) is not free. Wait and see.
1 reply 0 retweets 0 likes -
Replying to @mcarberg
I don't think we can have hyperturing stuff. No Malament-Hogarth if I can help it.
1 reply 0 retweets 0 likes -
Replying to @Plinz
One of the properties of Malament-Hogarth spaces (and some types of hyperbolic spaces) is precisely the non-Turing computation.
1 reply 0 retweets 0 likes -
Replying to @mcarberg
that is why someone came up with them, no? but I currenty don't think that our universe has such a feature
1 reply 0 retweets 0 likes -
Replying to @Plinz
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.
1 reply 0 retweets 0 likes -
Replying to @mcarberg
It means that God has to buy a hypercomputer. I am unwilling to sell him one, unless you prove that I must.
2 replies 0 retweets 1 like -
What if another god comes round having one, and his universe boots faster? (Insert complexity classes that don’t fit tweet)
2 replies 0 retweets 0 likes
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.