qnli question: When did Alan Turing write the paper, "On Computable Numbers"? sentence: He went on to prove that there was no solution to the Entscheidungsproblem by first showing that the halting problem for Turing machines is undecidable: in general, it is not possible to decide algorithmically whether a given Turing machine will ever halt.