Kurt Stephens

Interesting post over at http://lambda-the-ultimate.org/node/4222

http://elilies.com/rule110-full.html

http://en.wikipedia.org/wiki/Rule_110

Wasn’t familiar with Rule 110, but this caught my attention:

While working on the development of NKS, Wolfram’s research assistant Matthew Cook proved Rule 110 capable of supporting universal computation. Rule 110 is a simple enough system to suggest that naturally occurring physical systems may also be capable of universality— meaning that many of their properties will be undecidable, and not amenable to closed-form mathematical solutions.[4]

Cook’s paper on the universality of Rule 110: http://www.complex-systems.com/Archive/hierarchy/abstract.cgi?vol=15&iss...