În luna noiembrie 1936, Alan Turing publică On Computable Numbers, în care pune bazele teoretică ale calculatoarelor moderne.
La mijlocul lunii aprilie 1936, Turing i-a trimis lui Max Newman primul draft al cercetărilor sale privind determinabilitatea problemelor, pornind de la teoremele de incompletitudine ale lui Godel.
În 28 mai, el a predat spre publicare lucrarea sa de 36 de pagini numită On Computable Numbers, with an Application to the Entscheidungsproblem.
Lucrarea a fost prezentată public in 12 Noiembrie și publicată în revista „Proceedings of the London Mathematical Society„ în două părți, prima pe 30 noiembrie 1937 (vol. 42 , pp. 230-265), și a doua pe 23 decembrie 1937 (vol. 43, p. 544-546).
Turing a demonstrat că „mașina sa de calcul universală” ar fi capabilă să efectueze orice calcul matematic imaginabil dacă ar fi reprezentabil ca algoritm.
Articolul a apărut aproximativ în aceeași perioadă cu lucrările lui Konrad Zuse asupra primelor mașini Z din Germania, ale lui John Vincent Atanasoff asupra ABC, ale lui George Stibitz asupra mașinii cu relee telefonice Bell și ale lui Howard Aiken asupra Calculatorului Automatic Secvențial Controlat (Automatic Sequence Controlled Calculator). [Theodor Stănescu]
Mașina abstractă descrisă în articol a fost mai târziu redenumită Mașina Turing, furnizând conceptele fundamentale ale calculatoarelor pe care ceilalți inventatori le-au realizat independent. Astfel, Turing a furnizat abstracția care a format teoria de bază a calculului pentru mai multe decenii, în timp ce alții au furnizat mijloacele pragmatice de calcul. [Theodor Stănescu]
In 1988, Robin Gandy a publicat în „The confluence of ideas in 1936” un capitol care apare de obicei ca prefață la articolul lui Touring. [pentru textul complet al articolului, vedeți referințele].