书单
百科
这个词条暂时没有中文维基百科条目，下面是英文维基百科的内容（英文原文）：
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
以上文字摘自英文维基百科「The Annotated Turing」（去掉了参考文献等尾部小节），按 CC BY-SA 4.0 使用，作者为维基百科的各位编者。
资料卡
- 原题
- The Annotated Turing
- 原作语言
- 英语
- 首次出版
- 2008 年
- 体裁
- 非虚构作品
- 首版出版社
- 约翰威立
- 主题
- 数学
资料卡来自 Wikidata Q7713868（CC0），众包数据，个别字段可能不全。
