3 ms·
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.
by gavinhoward 3y ago
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.
- superjan 3y agoWhat 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).
- gavinhoward 3y agoYeah, I was told about left justification last week. Haven't gotten to it since I am in the middle of release crunch.