To elaborate: You can look at some programs with your mind, and tell quite clearly what they'll do. You can't write a _program_ that will look at other progra

To elaborate: You can look at some programs with your mind, and tell quite clearly what they'll do. You can't write a _program_ that will look at other programs, and always give a correct answer.