TIL: every Turing machine can be simulated by a lambda calculus and every lambda calculus program can be simulated by a Turing machine.
-
-
@bascule@joshsusser@jackdanger I like this Turing machine: http://en.wikipedia.org/wiki/Langton%27s_ant … -
@rdvdijk@bascule@jackdanger That's pretty awesome. I haven't built one of these automata in ages. I think it's time for some hacking soon!
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.