Alan Turing: the logical and physical basis of computing
Andrew Hodges · Electronic workshops in computing · 2004
Half a century after Alan Turing’s death in 1954, we can ask whether computing can go beyond the framework of computability that he set out in his classic 1936 paper On computable numbers, with an application to the Entscheidungsproblem. We shall do so in the light of what Turing himself did, starting with his work in 1936.