The Annotated Turing
Encyclopedia
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.
Charles Petzold
Charles Petzold is an American programmer and technical author on Microsoft Windows applications. He is also a Microsoft Most Valuable Professional....
, published in 2008 by John Wiley & Sons, Inc. Petzold annotates Alan Turing
Alan Turing
Alan Mathison Turing, OBE, FRS , was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine, which played a...
’s paper On Computable Numbers, with an Application to the Entscheidungsproblem
Entscheidungsproblem
In mathematics, the is a challenge posed by David Hilbert in 1928. The asks for an algorithm that will take as input a description of a formal language and a mathematical statement in the language and produce as output either "True" or "False" according to whether the statement is true or false...
. 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?
- Chapter 18: Diophantus Awakes!