El matemático Alan Turing, quien había sido alertado de un problema de lógica matemática por las lecciones de Max Newman en la Universidad de Cambridge, escribió un artículo en 1936 titulado "On Computable Numbers, with an Application to the Entscheidungsproblem", que fue publicado en los "Proceedings of the London Mathematical Society".