An amazing bit of poetry

Here you can find an interesting poem by Geoffrey K. Pullum, Scooping the Loop Snooper, treating about the halting problem and its undecidability.