这是《图灵注释》一书作者Charles Petzold自己写的引言摘要：

https://www.charlespetzold.com/books/

任何探索过计算机历史、技术或理论的人都可能遇到过图灵机的概念。图灵机是一台虚构的——甚至不是假设的——计算机，由英国数学家艾伦·图灵 (1912-1954) 于 1936 年发明，用于帮助解决数理逻辑问题。作为副产品，图灵还创立了可计算性理论领域——研究数字计算机的能力和局限性。

虽然图灵机的概念众所周知，但图灵 1936 年的原始论文却很少被阅读。这种忽视可能与论文的标题有关——“论可计算数及其在判定问题中的应用”——也许与论文大量使用可怕的德国哥特式字体有关。这太糟糕了，因为这篇论文不仅引人入胜，而且是计算历史和 20 世纪思想史上的一个里程碑。

本书介绍了图灵的原始论文（以及随后的 3 页更正），并附有背景章节和大量注释。像图灵这样的数学论文通常简洁而隐晦。我详细阐述了图灵的许多陈述，澄清了他的讨论，并提供了大量例子。

叙述中交织着图灵自己生活中的亮点：他在剑桥和普林斯顿的岁月、他在二战期间秘密从事密码分析工作、他参与开创性的计算机项目、他对人工智能的推测、他因同性恋被捕和起诉，以及他在 41 岁时因自杀而早逝。

本书分为四个部分：第一部分和第二部分加起来约 200 页，涵盖了图灵论文的前 60%，涵盖了图灵机和可计算性主题。本书的这一部分完全独立，将引起大多数读者的主要兴趣。

第三部分以更快的节奏回顾了图灵论文的其余部分，其中涉及对数理逻辑的影响。有些读者可能想跳过这些章节。

第四部分继续更“流行”的介绍，展示了图灵机如何成为理解人类意识运作和宇宙机制的重要工具。