The author notes all of the issues with this implementation, but I've just got to note this summary of the halting problem: http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html