Annotated Turing: A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine / Edition 1 available in Paperback
Programming Legend Charles Petzold unlocks the secrets of theextraordinary and prescient 1936 paper by Alan M. Turing
Mathematician Alan Turing invented an imaginary computer knownas the Turing Machine; in an age before computers, he explored theconcept of what it meant to be computable, creating thefield of computability theory in the process, a foundation ofpresent-day computer programming.
The book expands Turing’s original 36-page paper withadditional background chapters and extensive annotations; theauthor elaborates on and clarifies many of Turing’sstatements, making the original difficult-to-read documentaccessible to present day programmers, computer science majors,math geeks, and others.
Interwoven into the narrative are the highlights ofTuring’s own life: his years at Cambridge and Princeton, hissecret work in cryptanalysis during World War II, his involvementin seminal computer projects, his speculations about artificialintelligence, his arrest and prosecution for the crime of "grossindecency," and his early death by apparent suicide at the age of41.
|Product dimensions:||5.90(w) x 8.90(h) x 1.00(d)|
About the Author
English mathematician Alan Turing (1912–1954) is theauthor of the 1936 paper "On Computable Numbers, with anApplication to the Entscheidungsproblem" that introduced theimaginary computer called the Turing Machine for understanding thenature and limitations of computing. His famous 1950 article"Computing Machinery and Intelligence" introduced the Turing Testfor gauging artificial intelligence.
American writer Charles Petzold (1953–) is theauthor of the acclaimed 1999 book Code: The Hidden Language ofComputer Hardware and Software, a unique exploration into thedigital technologies of computers. He is also the author ofhundreds of articles about computer programming, as well as severalbooks on writing programs that run under Microsoft Windows. His Website is www.charlespetzold.com.
Table of Contents
I Foundations 1
1 This Tomb Holds Diophantus 3
2 The Irrational and the Transcendental 13
3 Centuries of Progress 35
II Computable Numbers 55
4 The Education of Alan Turing 57
5 Machines at Work 79
6 Addition and Multiplication 97
7 Also Known as Subroutines 111
8 Everything Is a Number 127
9 The Universal Machine 143
10 Computers and Computability 163
11 Of Machines and Men 189
III Das Entscheidungsproblem 199
12 Logic and Computability 201
13 Computable Functions 231
14 The Major Proof 259
15 The Lambda Calculus 281
16 Conceiving the Continuum 299
IV And Beyond 323
17 Is Everything a Turing Machine? 325
18 The Long Sleep of Diophantus 351
Selected Bibliography 361