User loginNavigation 
Binary Lambda Calculus and Combinatory LogicWhile Anton was waxing about Church & Turing, I figured that Occam's Razor would be the type of proof one would postulate when giving the nod to Lambda Calculus over Universal Turing Machines. This leads inexorably to the question of what is the smallest (as measured in binary bits) Turing Machine that can possibly be constructed. John Tromp provides an answer to this question in his always fun Lambda Calculus and Combinatory Logic Playground:
Interestingly, the version based on the Lambda Calculus is smaller than the one on Combinators. A statement I found of interest in the paper about PL's:
Not sure if that statement means that PL research is ultimately doomed. :) 
Browse archivesActive forum topics

Recent comments
4 hours 46 min ago
2 days 7 hours ago
2 days 7 hours ago
3 days 17 hours ago
3 days 23 hours ago
4 days 10 hours ago
4 days 20 hours ago
5 days 2 min ago
5 days 5 hours ago
5 days 5 hours ago