"Computations everywhere and every time" (see https://en.wikipedia.org/wiki/Calculating_Space … and https://en.wikipedia.org/wiki/Digital_physics …). A benign pathology. @Plinz
-
-
Oh, yes; count me in. Thank you; I had it stored under “Fredkin”.
1 reply 0 retweets 0 likes -
Check. Check. And what is your view on the law of excluded middle?
1 reply 0 retweets 0 likes -
Replying to @Plinz1 reply 0 retweets 0 likes
-
But we can answer too with reference to (extension of) Curry-Howard isomorphism.
1 reply 0 retweets 0 likes -
Indeed, the excluded middle is not constructive. But it has been shown to have a counterpart in computer processes...
1 reply 0 retweets 0 likes -
... (see Felleisen & Griffin): said abruptly, it corresponds to an escape function. Rather interesting. Especially when...
2 replies 0 retweets 0 likes
Replying to @mcarberg
Physics assumes the causal closure of the universe. There is no escape @mietek
5:18 AM - 21 Jun 2016
from Neighborhood 9, Cambridge
1 reply
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.