4 ms·
The argument isn't about computing, it's about naming. The argument here is whether a Turing machine is really "universal".
by sep332 17y ago
The argument isn't about computing, it's about naming. The argument here is whether a Turing machine is really "universal".
- dhs 17y agoIt's naming, plus some more: Turing never named his idealized entity a "Turing machine" - that was done by others. He claimed universality for the algorithmic "Universal Computing Machine" he defined, and proved it - for algorithms. Now Akl comes along and says the "Turing machine" is not universal, but he uses interaction, not algorithm, to base his definition of computation on. So it seems to me that he's not only renaming "the Universal Computing Machine" to "the Universal Computer" by ways of "the Turing Machine", but that he is also moving the goalposts in this process.