Content area
Full text
THE ANNOTATED TURING: A GUIDED TOUR THROUGH ALAN TURING'S HISTORIC PAPER ON COMPUTABILITY AND THE TURING MACHINE by Charles Petzold Wiley, 2008, 372 pp. ISBN: 978-0-470-22905-7
In 1936, Alan Turing published his seminal paper, "On Computable Numbers, with an Application to the Entscheidungsproblem" in the Proceedings of the London Mathematical Society. Turing's paper was motivated by David Hubert's question regarding whether or not there is a general mechanical process to determine the provability of arbitrary statements in mathematical logic. Turing answered Hubert's question in the negative, but in the process began what we now call the theory of computing.
In The Annotated Turing, Charles Petzold takes us...