Alan Mathison Turing 2004: A celebration of his life and achievements (TUR)
Alan Mathison Turing 2004: A celebration of his life and achievements
5 June 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.