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
|