2/12/11 Gil's LotD: Halting problem

http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html A poetic proof of the undecidability of the halting problem.