Kevin Wampler wrote:

> Are you *sure* that rule 30 is the right CA here?
> 
> It seems more likely that the proof you're talking about was done for 
> rule 110, which is the CA that Wolfram proposes to be Turing complete, 
> and there was a later proof by Matthew Cook establishing this provided 
> proper tape initialization and processing is done.

Hmm, maybe you're right. I don't memorise these code numbers...

Post a reply to this message