 |
Description
|
This book presents Turing’s original 36-page paper and a follow-up 3-page correction with background chapters and extensive annotations. Mathematical papers like Turing’s are often terse and cryptic. Petzold has elaborated on many of Turing’s statements, clarified his discussions, and provided numerous examples.
Interwoven into the narrative are the highlights of Turing’s own life: his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of “gross indecency,” and his early death by apparent suicide at the age of 41.
The book is divided into two main parts. Part I is about 200 pages in length and covers the first 60% of Turing’s paper, encompassing the Turing Machine and computability topics. This part of the book is entirely self-contained and will be of primary interest to most readers.
Part II , contains and additional 100 pages and is a faster paced look at the remainder of Turing’s paper, which involves the implications for mathematical logic.
|