I was thinking of http://science.slashdot.org/story/07/10/29/2212226/wolframs-23...

		lmm on Oct 12, 2012 \| parent \| context \| favorite \| on: Conway's Game of Life, using floating point values... I was thinking of http://science.slashdot.org/story/07/10/29/2212226/wolframs-... ; looking again it seems that's a different proof, apologies.