#halting problem #undecidability #computability theory #turing machine #limits of computation #decision problem