![Coat of arms of the University of Edinburgh, o...](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f1/Edinburgh_university_crest.svg/202px-Edinburgh_university_crest.svg.png)
Image via Wikipedia
Geoffrey K. Pullum, Professor of General Linguistics in the School of Philosophy, Psychology, and Language Sciences University of Edinburgh has written a marvelous verse, in the style of Dr. Suess, that explains the proof that the Halting Problem is undecidable in a clear and humorous way. The verse is called Scooping the Loop Snooper (PDF). If only all of Computational Theory were this easy to understand!
![](http://img.zemanta.com/pixy.gif?x-id=85a10f0e-439c-4ee1-9116-b9eb3d388007)