TIL: every Turing machine can be simulated by a lambda calculus and every lambda calculus program can be simulated by a Turing machine.
-
-
@bascule great, now I'll NEVER get to sleep tonight. /me goes off and tries to get educated at that link. -
@jackdanger@bascule it's also discussed in the last chapter
End of conversation
New conversation -
-
-
@bascule my god, Tony, I'm having a religious moment reading about Rule 110. This is incredible. -
@jackdanger triangles all the way down
End of conversation
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.