>> Sure. But a UTM is carefully *designed* to be universal. Wolfram
>> asserts that many kinds of things "just happen to be" universal.
>
> No, he asserts that many things just happen to be capable of being
> designed to be universal. A UTM is just the kind of TM that's universal.
> Rule 110 is only universal if you initialize it with the appropriate
> program in the cells to start with.
Like I said, I think you can set up the CA more easily than the proof
demonstrates. But whatever...
--
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*
Post a reply to this message
|