Today I talked about the Garden-of-Eden theorem, the first rigorous result in cellular automata theory.

I wrote a post about it in my new blog, dedicated to cellular automata, which I launched this week. The post contains extended proofs and examples, and most important, fixes several errors I had made during the talk. I might update it later, by adding figures—which are well known to take their time.

Link: http://anotherblogonca.wordpress.com/2013/06/27/in-a-garden-of-eden/