News for hackers. Stuff that matters.
Re:Non-Universality in Computation: The Myth of the Universa... by dhs on Thursday April 16, 2009 @01:48PM (#565508)
It is quite unreasonable to talk about variables that change with time in the context of a Turing machine. If a "Universal Computer" is one that deals with variables which change during the computation due to interaction, then it is not what Turing was talking about. And if he wasn't talking about it, he can't be wrong about it.
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".
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.