Hacker News new | past | comments | ask | show | jobs | submit login

Author here.

Yes, the lambda calculus can. They are equivalent.

But Turing's machines gave us the model to think that way. In my opinion.




What does it for me is that turing machines can be thought of as physical. In a way it is more tangible than an electronic computer.

Btw: I think your site would look better with left justified text. Right justified looks best only for long paragraphs (books).


Yeah, I was told about left justification last week. Haven't gotten to it since I am in the middle of release crunch.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: