Reminds me of this classic: http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html

		dmd on July 4, 2012 \| parent \| context \| favorite \| on: Godel's 2nd Incompleteness Theorem Explained in Wo... Reminds me of this classic: http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html