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 proslijeđenih tweetova
2 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.