Samiksha Jaiswal (Editor)

The Annotated Turing

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
8.4
/
10
1
Votes
Alchetron
8.4
1 Ratings
100
90
81
70
60
50
40
30
20
10
Rate This

Rate This

Language
  
English

Media type
  
Print (paperback)

ISBN
  
978-0-470-22905-7

Originally published
  
2008

Page count
  
372

Publisher
  
John Wiley & Sons

4.2/5
Goodreads

Publication date
  
2008

Pages
  
372

OCLC
  
2008022829

Author
  
Charles Petzold

Genre
  
Non-fiction

Subjects
  
Mathematics, Computing

The Annotated Turing t1gstaticcomimagesqtbnANd9GcShyyo6TEp43v4ugR

Similar
  
Charles Petzold books, Mathematics books, Computer Science books

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?
  • Chapter 18: The Long Sleep of Diophantus
  • References

    The Annotated Turing Wikipedia