A purely mechanical (ie. wood, hand-crank, no electronics) Turing Machine can be constructed: https://www.youtube.com/watch?v=vo8izCKHiF0 … How would you go about building a purely mechanical Lambda Calculus evaluator? It seems harder. The abstraction seems not to map to mechanics as well.
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.