In 1900, at the Second International Congress of Mathematicians in Paris, David Hilbert presented a set of 23 unsolved problems in mathematics. One of these problems, the Entscheidungsproblem (German for "decision problem"), asked whether there was a mechanical procedure for determining the truth or falsehood of mathematical statements.

Alan Turing, whi…