Turing lade tidigt en teoretisk grund för den moderna datortekniken med sin uppsats ”On computable numbers, with an application to the Entscheidungsproblem” (1937). Han definierade där en abstrakt maskin, senare kallad Turingmaskin, som förmodas kunna utföra varje räkneoperation som en människa eller en maskin är kapabel till (Church–Turings tes