#halting problem #undecidability #computability theory #decision problem #turing machine #recursive enumerability