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 archives
Active forum topics

Recent comments
19 weeks 5 days ago
23 weeks 6 days ago
25 weeks 4 days ago
25 weeks 4 days ago
28 weeks 2 days ago
32 weeks 6 days ago
32 weeks 6 days ago
33 weeks 2 days ago
33 weeks 2 days ago
36 weeks 1 day ago