The Annotated Turing
non-fiction work by Charles Petzold
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.
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.
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?
“The Annotated Turing” enters the record as non-fiction work by Charles Petzold. Crown Archives preserves that source wording while asking what Annotated, Turing and non-fiction can confirm, complicate or overturn.
Why this record matters
“The Annotated Turing” is worth following because a concise public description often conceals a longer documentary argument. Here, Annotated, Turing and non-fiction provides the most credible route into that argument.
Named sources, stable identifiers and responsible institutions provide the strongest route from overview to verifiable evidence. The source revision retrieved here is dated Mar 28, 2026. The linked authority identifier is Q7713868. 1 of 1 selected statements include explicit references; 0 carry qualifiers and 0 use preferred rank. The first chronological checks are 2008.
A concise general-reference account can conceal disagreements about scope, terminology or the weight assigned to individual sources. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Use the entry as an orientation point, then follow its citations and revision history. Names, dates and institutional relationships should be checked against the original record.
- Subject orientation
- Search vocabulary
- Locating named sources
The closest primary source, responsible institution and strongest cited specialist reference.
Three-step research path
- Establish the record: confirm the title “The Annotated Turing”, its source revision and the description used here.
- Expand the search: follow The Annotated Turing primary sources, The Annotated Turing archive and Annotated research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “The Annotated Turing”?
- Which institution is responsible for the underlying evidence?
- What terminology or title could unlock a more precise catalogue search?
Search terms from this dossier
This entry incorporates text from “The Annotated Turing” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.