I'm a huge fan of Matt Levine, but i'm an even bigger fan of Geoffrey K. Pullum! Here's his proof of the undecidability of the halting problem, in verse: http:

I'm a huge fan of Matt Levine, but i'm an even bigger fan of Geoffrey K. Pullum! Here's his proof of the undecidability of the halting problem, in verse: http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html