The problem of determining whether an arbitrary Turing machine ever stops for a given input, introduced by Alan Turing in 1936.
The problem of determining whether an arbitrary Turing machine ever stops for a given input, introduced by Alan Turing in 1936.