Turing's proof that no algorithm can determine in general whether an arbitrary program halts. The foundational theorem of computability.
Turing's proof that no algorithm can determine in general whether an arbitrary program halts. The foundational theorem of computability.