4 ms·
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, lambd
by kangalioo 3y ago
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"
- gavinhoward 3y agoAuthor 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.
- forgotmyinfo 3y agoThey are equivalent per the Church-Turing thesis; how many instructions it takes doesn't factor in at all.