TIL: every Turing machine can be simulated by a lambda calculus and every lambda calculus program can be simulated by a Turing machine.
-
-
Replying to @jackdanger
@jackdanger but did you know that any Turing machine can be simulated by Rule 110? https://en.wikipedia.org/wiki/Rule_1102 replies 0 retweets 3 likes
Replying to @jackdanger
@jackdanger triangles all the way down
10:12 PM - 20 Aug 2013
0 replies
0 retweets
2 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.