[gavinhoward]

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]

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).

[gavinhoward]

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