If you really think about it, the Halting Problem is the defining quality of Turing machines.