The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine is a book by Charles Petzold, published in 2008 by John Wiley & Sons, Inc.[1][2]
Petzold annotates Alan Turing's paper "On Computable Numbers, with an Application to the Entscheidungsproblem". The book takes readers sentence by sentence through Turing's paper, providing explanations, further examples, corrections, and biographical information.[citation needed]
Table of contents
Part I. Foundations
Chapter 1: This Tomb Holds Diophantus
Chapter 2: The Irrational and the Transcendental
Chapter 3: Centuries of Progress
Part II. Computable Numbers
Chapter 4: The Education of Alan Turing
Chapter 5: Machines at Work
Chapter 6: Addition and Multiplication
Chapter 7: Also Known as Subroutines
Chapter 8: Everything is a Number
Chapter 9: The Universal Machine
Chapter 10: Computers and Computability
Chapter 11: Of Machines and Men
Part III. Das Entscheidungsproblem
Chapter 12: Logic and Computability
Chapter 13: Computable Functions
Chapter 14: The Major Proof
Chapter 15: The Lambda Calculus
Chapter 16: Conceiving the Continuum
Part IV. And Beyond
Chapter 17: Is Everything a Turing Machine?
Chapter 18: The Long Sleep of Diophantus
See also
Alan Turing: The Enigma (1983)
The Turing Guide (2017)
References
Lipton, Richard J. (September 2011). "The Annotated Turing: A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine" (PDF). Notices of the AMS. American Mathematical Society. 58 (8): 1120–1121. Retrieved 8 September 2020.
Wilson, Kevin A. (2010). Gasarch, William (ed.). "Review of The Annotated Turing" (PDF). The Book Review Column. University of Maryland at College Park. pp. 16–20. Retrieved 8 September 2020.
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
