The Annotated Turing

(excerpts from my proposal for the book)

Anyone who has explored the history, technology, or theory of computers has likely encountered the concept of the Turing Machine. The Turing Machine is an imaginary — not even quite hypothetical — computer invented in 1936 by English mathematician Alan Turing (1912–1954) to help solve a question in mathematical logic. As a byproduct, Tur...

(excerpts from my proposal for the book)

Anyone who has explored the history, technology, or theory of computers has likely encountered the concept of the Turing Machine. The Turing Machine is an imaginary — not even quite hypothetical — computer invented in 1936 by English mathematician Alan Turing (1912–1954) to help solve a question in mathematical logic. As a byproduct, Turing also founded the field of computability theory — the study of the abilities and limitations of digital computers.

Although the concept of the Turing Machine is well known, Turing’s original 1936 paper is only rarely read. This neglect may have something to do with the paper’s title — “On Computable Numbers, with an Application to the Entscheidungsproblem” — and perhaps the paper’s extensive use of a scary German gothic font. That’s too bad, because the paper is not only a fascinating read but a milestone in the history of computing and 20th century intellectual thought in general.

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. I have 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 years at Cambridge and Princeton, 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 four parts: Parts I and II together are about 200 pages in length and cover 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 III is a faster paced look at the remainder of Turing’s paper, which involves the implications for mathematical logic. Some readers might want to skip these chapters.

Part IV resumes the more "popular" presentation showing how the Turing Machine has become a vital tool in understanding the workings of human consciousness and the mechanisms of the universe.

Although I expect the primary readers of the book to be programmers, computer science majors, and other “techies,” I have tried my best to make the book accessible to the general reader. There is unavoidably much mathematics in the book, but I have tried to assume that the reader only has knowledge of high-school mathematics, and probably a foggy one at that.

Charles Petzold 是 Windows 编程界大师、世界顶级技术作家。1994年5月，Petzold 作为仅有的七个人之一（并且是唯一的作家）被 Window Magazine 和 Microsoft 公司授予 Windows Pioneer 奖，以表彰他对 Microsoft Windows 的成功做出的贡献。Petzold 从1984年开始编写个人计算机程序，从1985年开始编写 Microsoft Windows 程序。他在 Microsoft Systems Joumal 1986年12月号上发表了第一篇关于 Windows 程序设计的杂志论文。从1986年到1995年，他为 PC Magazine 撰写 Environments 专栏，给读者介绍了 Windows 和 OS/2 程序设计的许多方面。 直到今天他依然维持 Wind...

Charles Petzold 是 Windows 编程界大师、世界顶级技术作家。1994年5月，Petzold 作为仅有的七个人之一（并且是唯一的作家）被 Window Magazine 和 Microsoft 公司授予 Windows Pioneer 奖，以表彰他对 Microsoft Windows 的成功做出的贡献。Petzold 从1984年开始编写个人计算机程序，从1985年开始编写 Microsoft Windows 程序。他在 Microsoft Systems Joumal 1986年12月号上发表了第一篇关于 Windows 程序设计的杂志论文。从1986年到1995年，他为 PC Magazine 撰写 Environments 专栏，给读者介绍了 Windows 和 OS/2 程序设计的许多方面。 直到今天他依然维持 Windows GDI 程序设计首席技术作家的地位。其著作《Windows程序设计》是尽人皆知的 Win32 API 编程经典。