This is just the Halting Problem, many good introductory expositions of the proof exist.