RT: @diovo: Beautiful: How Dr. Seuss would prove the halting problem undecidable http://bit.ly/dpVRE1