## 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## New forum topics |

## Recent comments

1 week 3 days ago

1 week 3 days ago

1 week 4 days ago

1 week 5 days ago

2 weeks 4 days ago

2 weeks 5 days ago

2 weeks 5 days ago

2 weeks 6 days ago

3 weeks 3 days ago

3 weeks 5 days ago