General Halting Problem

See the HaltingProblem.

(moved to the HaltingProblem)