## User login## Navigation |
## 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

1 week 6 days ago

11 weeks 18 hours ago

11 weeks 3 days ago

12 weeks 6 days ago

12 weeks 6 days ago

13 weeks 9 hours ago

14 weeks 4 days ago

14 weeks 6 days ago

14 weeks 6 days ago

15 weeks 12 hours ago