Re:Non-Universality in Computation: The Myth of the Universa...
by sep332 on Thursday April 16, 2009 @04:11PM
(#565804)
The argument isn't about computing, it's about naming. The argument here is whether a Turing machine is really "universal".
[ Parent
| on HN ]
Re:Non-Universality in Computation: The Myth of the Universa...
by dhs on Thursday April 16, 2009 @05:35PM
(#565939)
It'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.