>> 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