[kangalioo]

I don't believe only turing machines are capable of executing other turing machines... Surely lambda calculus can do the same? I was under the impression, lambda calculus can indeed execute itself with even less code than turing machines

There's several very dubious claims that are stated way too confidently like this in the article, like "Yep, virus scanners are almost completely useless"

[forgotmyinfo]

They are equivalent per the Church-Turing thesis; how many instructions it takes doesn't factor in at all.

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