In May 1936, Turing submitted a landmark paper to the Proceedings of the London Mathematical Society establishing the logical ...