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.
Answer in sentence: no