On Computable Numbers, with an Application to the Entscheidungsproblem Turing, A. M. Abstract Publication: Proceedings of the London Mathematical Society Pub Date: 1937 DOI: 10.1112/plms/s2-42.1.230 Bibcode: 1937PLMS...42..230T