Halting Theorem

see HaltingProblem