See the HaltingProblem.

(moved to the HaltingProblem)