图灵的远见：硅基生命的诞生

作者：[美]克里斯·伯恩哈特

书号：349091

定价：￥59 元

字数：159 千字

印次：1-1

开本：大32

出版时间：2026-04-02

ISBN：978-7-300-34909-1

包装：精

作者简介

克里斯·伯恩哈特（Chris Bernhardt），美国费尔菲尔德大学数学系教授，他从数学的角度入手，研究图灵的可计算数理论及现代计算的诞生，堪称图灵理论深入的研究者。著有：《图灵的远见：硅基生命的诞生》《人人可懂的量子计算》等。

译者简介

卢斌，中国人民大学高瓴人工智能学院副院长，高礼研究院执行院长。其研究领域涵盖金融科技、教育研究、人工智能应用、财富管理、ESG等交叉学科。

张小敏，中国人民大学高礼研究院学术助理。

内容简介

图灵，一个计算机界家喻户晓的名字。1936年，他24岁时，发表了一篇题为《论可计算数及其在判定问题上的应用》的论文，由此奠定了他在计算机领域的地位。

本书为想要了解图灵所构建的现代计算机基础理论的深邃思想的读者而写。书中从图灵的理论基础出发，逐步推导出那些出人意料的结论，并尝试将图灵的工作置于其自身历史脉络中理解它。为此，本书将谈及图灵论文发表前后的历史背景和发展。

读者无须深厚的数学背景，高中数学知识足矣，但需要一定的悟性和努力。本书值得细读，一些章节可能需要反复咀嚼。毕竟，图灵所阐述的并非关于计算的浅显之谈，而是深邃且突破直觉的洞见。

 目录

第一章 背景

数学的确定性

布尔逻辑

数理逻辑

确立数学基础

希尔伯特的方法

哥德尔的研究成果

图灵的研究成果

第二章 不可判定的判定问题

埃米尔·波斯特

波斯特对应问题

希尔伯特第十问题

停机问题

剑桥时期的图灵

第三章 有限自动机

引言

有限自动机

我们的第一台机器

字母表和语言

有限自动机和回答问题

略去图示中的陷阱

一些基本事实

正则表达式

有限自动机的局限性

磁带和配置

与对应问题的联系

第四章 图灵机

图灵机实例

可计算函数与计算

邱奇－图灵论题

计算能力

永不停机的图灵机

第五章 其他计算系统

λ演算

标签系统

一维元胞自动机

第六章 编码与通用计算机

有限自动机编码方法

通用机器

设计通用计算机

现代计算机即通用计算机

冯·诺伊曼架构

随机存取机

用图灵机模拟RAM

其他通用机器

将〈M〉输入M会发生什么？

第七章 不可判定问题

反证法

罗素的理发师悖论

不接受自身编码的有限自动机

不接受自身编码的图灵机

“图灵机输入其自身编码后发散吗？”是不可判定的

接受、停机和空白带问题

不可计算函数

图灵的方法

第八章 康托尔对角论证法

基数

等势的有理数子集

希尔伯特旅馆

减法定义不清晰

一般对角论证法

实数的基数

对角论证法

连续统假设

计算的基数

可计算数

一个不可计算数

可计算数的可数性

可计算数不可有效枚举

第九章 图灵的遗产

图灵在普林斯顿

第二次世界大战

20 世纪40年代计算机的发展

图灵测试

图灵逝世

道歉与赦免

拓展阅读

参考文献

推荐序

执笔之时，我正身处曼彻斯特——这座图灵晚年曾不断拓展机器能力边界的城市。2024年恰逢曼彻斯特大学（图灵学术思想扎根之地）建校200周年，我们得以沉思：这位先驱者的革命性思想，如何以远超其想象的方式持续重塑着我们的世界？作为该校双百周年图灵计算医学讲席教授，值此特殊时刻，感谢卢斌院长邀请，我深感推介克里斯·伯恩哈特这部杰作的责任之重大。

伯恩哈特的《图灵的远见：硅基生命的诞生》一书贡献非凡。他并未选择为这位传奇人物再添一部传记，而是着力揭示图灵对人类知识伟大贡献背后的深邃思想架构——1936年发表的论文《论可计算数及其在判定问题上的应用》。这绝非一部寻常的学术史著作，而是一场邀您亲历天才思维过程的盛宴，让我们得以理解这位24岁的数学家如何彻底重构了人类对计算、思考与问题解决本质的认知。

本书的核心价值在于，伯恩哈特敏锐地指出，图灵1936年的论文并不只是一个历史奇闻，而是我们数字时代的基石。人们口袋里的每一部智能手机，推荐电影的每个算法，诊断疾病或翻译语言的每套人工智能（AI）系统，其思想谱系皆可追溯至90年前剑桥大学房间里诞生的理论机器。然而，图灵思想中那份深邃的优雅与简洁，至今仍被技术复杂性的外衣所遮蔽，甚至令数学爱好者望而生畏。

伯恩哈特的卓越天赋在于他能够深入浅出地阐释深刻理论，同时丝毫不减学术严谨。他如同一位循循善诱的导师，以非凡的耐心引导我们追溯图灵的思维轨迹——不仅揭示图灵发现的定理，更完整呈现其推演过程。我们因此得以目睹这位年轻数学家如何迎战戴维·希尔伯特关于数学问题可判定性的命题，并追随他那划时代的洞见：计算本身可以通过理论机器执行的简单机械操作实现形式化。

本书揭示了图灵的研究方法如何以其简洁性成就革命性突破。他没有陷入现有数学形式体系的复杂迷宫，而是提出了一个看似基础却直指核心的问题：计算的本质是什么？他的答案——任何计算都可分解为机器在磁带上读写符号的基本步骤——近乎孩童般的纯粹。然而，正是从这个朴素的基础出发，图灵构建了一套完整的计算理论，且至今仍坚不可摧。

尤为令人震撼的是，伯恩哈特向我们展示了图灵的工作如何预见并孕育了存储程序计算机——这一支撑当今所有数字设备的根本架构。“程序与数据在本质上是同一类信息，指令可被当作数据处理和操作”这一洞见，不仅是一项技术革新，更是一场概念革命。正是这场革命，为编译器、计算机网络乃至互联网的整个数字生态奠定了思想基础。

但本书的价值远不止于技术阐释。它向我们展现了图灵极具知识勇气的形象——他敢于挑战数学界最根深蒂固的固有假设。当希尔伯特等学者认为原则上每个数学问题都能通过算法解决时，图灵证明了他们的错误。他指出，存在一些问题是任何计算机都无法解答的，无论其性能多么强大。这一结论在知识层面具有颠覆性，同时也带来了创造性的解放，因为它理顺了机械计算的真正范围与局限。

伯恩哈特对这些不可判定性结果的阐述尤为精妙。他向我们展示了图灵如何借鉴康托尔的对角论证法，证明某些问题本质上是不可解的——这并非因为我们缺乏足够巧妙的算法，而是因为这些问题本身超越了计算的边界。这正是数学最深刻的魅力所在：它不仅揭示了我们能够知晓的事物，更揭示了知识本身的局限。

本书还着重强调了图灵的理论研究与其后续在人工智能、密码学和数学生物学领域中的贡献之间的深刻联系。我们看到，正是这位构想出抽象计算机器的智者，同时破解了恩尼格玛机密码，提出了机器智能测试方法，并建立了借鉴生物模式形成的数学模型。图灵的形象由此丰满——他绝非狭隘的专家，而是以好奇心与分析力变革多个领域的博学者。

对于我们这些从事计算医学研究的工作者而言，图灵的远见至今仍激荡着特殊共鸣。他关于“复杂生物过程可通过数学模型与计算模拟来理解”的洞见已被证明具有预言性——从药物研发到精准医疗，从流行病建模到基因序列分析，图灵思想的继承者们所开创的计算方法，正在彻底革新人类认知与治疗疾病的方式。

然而，伯恩哈特从未忘记这位天才所遭受的磨难。图灵的人生充满了悲剧，一颗璀璨明珠终被偏见与无知摧毁。这一悲剧色彩让他的学术成就更显非凡——纵使遭遇个人困境，他仍以不减的创造力与严谨性推动拓展人类认知边界。他对真理与探索的执着，为我们树立了在磨难面前以人性的韧性坚守学术诚信的典范——这是人类献身知识与文明事业时所迸发的永恒力量之明证。

对未来的科学家、数学家与思想家而言，图灵的范例传递着关于创新所需勇气的深刻启示。他敢于质疑根本假设，以全新视角思考困扰人类数百年的难题，并且不顾一切传统观念的束缚，追随自己的洞见前行。他在思想与专业领域上始终保持创新，最终为全人类带来了丰富的馈赠。

伯恩哈特的著作既是一曲颂歌，也是一记警钟。它礼赞图灵的非凡成就，同时鞭策我们理解并拓展其思想遗产。在这个计算思维已成为人类几乎所有领域必备工具的时代，理解图灵奠定的理论基础，不仅具有历史意义，更具有现实必要性。

本书还提醒我们，伟大的发现往往源于最抽象的理论探索。图灵1936年的论文看似只探讨了关于数学证明与计算本质的纯哲学问题，然而正是从这些形而上的思考中，孕育出信息时代的实践根基。这一点值得我们深思——当我们衡量基础研究的价值，以及考量支持那些敢于提出看似不切实际问题的学者的重要性时，应当以此为鉴。

面对21世纪的种种挑战——从气候变化到流行病肆虐，从人工智能到量子计算——我们需要更多像图灵那样敢于大胆创新、独辟蹊径的思想者。我们需要能跨越学科常规边界、对问题本质提出根本性追问并且在前路未明时仍坚守真理并探索的开拓者。

本书是伯恩哈特为新一代读者送上的一份厚礼——他让图灵的愿景变得触手可及。他向我们证明，只要愿意严谨、系统地思考，任何人都能理解那些最深奥的思想。通过这样的方式，他不仅缅怀了图灵，更让我们有能力继承其遗产，延续那份好奇、严谨与求知的勇气。

在曼彻斯特——这座见证了图灵人生最后篇章的城市，我郑重向大家推荐本书。本书不仅是对辉煌过往的记录，更是对未来探索的邀约。愿它能激励你去质疑、去探索、去计算、去梦想；也愿它能启示你——对社会最伟大的奉献，莫过于无惧地追寻真理，无论它将引领我们走向何方。

译者序

当图灵的光照进现实

当本书真正走完审核流程要出版的时候，恰逢2026年中国传统马年春节。没想到，最后一个环节竟是等译者序的定稿。其实，没有译者序也可以出版，甚至可能更快。但译者和出版社同仁都感觉，在人工智能成为时代发展的最强音，特别是在“龙虾”（OpenClaw，一款时下爆火的桌面端智能执行体）当红的今天，AI已经深深嵌入我们“衣食住行学健娱”的方方面面，对于艾伦·图灵这位“人工智能之父”——硅基生命的诞生者，如果不通过译者序表达我们朴素的敬意，实在是一件憾事。

本书原作者克里斯·伯恩哈特的创作要旨，是简明扼要地科普图灵早期研究成果，说明图灵如何从“判定问题”这一抽象的数学起点出发，一步步构建出理解计算与智能的永恒框架。今天看来，他的出现和发现、发明可以被当之无愧地称为人类科技文明发展史上的神来之笔、奇点降临，其理论之美与思想之深，穿越时空，历久弥新。

一本关于“远见”的著作，也理应对“当下”有所观照。我们希望，译者序能为读者架起一座连接的桥梁：一端是图灵笔下那些简洁、深刻而略显抽象的原理（如图灵机、可计算性、模仿游戏）；另一端则是我们正身处其中的，由大模型、智能体、优质数据、GPU和算法、存储、电力、传输等构成的复杂现实。我们并非要再简述原著，而是试图在经典理论与鲜活现实之间，提供一些可供锚定的参照与激发思考的触点，让那些永恒的思想，能以更可感的方式照亮我们未来的道路。

划时代的范式革命：从“可计算性”到“模仿游戏”

在人类科技文明的长卷中，图灵的贡献具有划时代的范式革命意义。其起点是对希尔伯特“判定问题”的深邃思考：是否存在能判定所有数学命题真假的通用算法？图灵构想出一种极简而强大的抽象计算模型——图灵机，它由一条无限长的磁带、一个磁带头与一套简单的状态规则构成。本书通过具体示例（如设计能判断“0和1数量是否相等”的机器），清晰展示了图灵机的运作逻辑。这一模型不仅给出了判定问题的否定答案，更衍生证明了“停机问题”的不可解性，在揭示计算极限的同时，清晰界定了“可计算性”的范畴，为现代计算机科学奠定了理论基础（即邱奇－图灵论题：任何可被算法精确描述的过程，皆可由图灵机实现）。

图灵的关键洞见在于那条可被读写、无限延伸的“磁带”的设计。这一“外部记忆”机制使机器能够存储中间结果，回溯过往信息，在时间维度上积累知识，从而处理需要历史参与的复杂问题。书中展示的判断“括号是否匹配”的图灵机极具启发性：磁带头在磁带上往复移动，寻找对应括号对并做标记，这个过程充满了试探与回溯。这与今日 AI 智能体完成多步骤任务（如规划旅行）时的行为模式具有某种相似性：都需要理解目标、分解子任务、调用工具并维护状态。这揭示了图灵模型的深刻哲学意涵：一切可被精确定义的智能行为，原则上都可以被建模为基于符号操作的机械性计算过程。

1950年，图灵提出“模仿游戏”（后称“图灵测试”），以行为主义路径巧妙规避了“机器能否思考”的形而上学争论。他设计了一个可操作的标准：若人类询问者通过文本无法可靠区分机器与人，则认为机器具备智能。从今天的视角看，图灵测试至少有两层深刻意涵：其一，确立了智能的行为主义评价视角，关注功能输出而非内在机制或实现形式（碳基或硅基）；其二，推动了对“人类特殊性”的祛魅，将焦点从“机器是否像人”转向“机器能否做人类智能之事”。

天才的辉光与暗影：个体、制度与文明反思

公众多通过电影《模仿游戏》和图灵的扮演者本尼迪克特·康伯巴奇，对图灵在二战中破译德军恩尼格玛机发挥的重要作用有所了解。图灵在二战中作为核心科学家参与破译德军恩尼格玛机，在波兰破译方法基础上研制了密码炸弹机，利用逻辑漏洞每日快速搜索恩尼格玛机设置，该机器是当时的核心破译工具。

此外，图灵本人的履历更为复杂：他是一个在多个领域做出奠基性贡献的天才，亦是一个因其性取向而在当时社会规范下备受压抑，最终以悲剧收场的孤独者。图灵的悲剧，犹如一面永恒的明镜，映照出制度性狭隘对宝贵创造力的戕害。他的生平警示我们：文明的真正高度，不仅体现于其建造的技术奇观，更体现于其如何容纳、保护那些思想与存在方式上的“异类”。

英国过去对图灵的功利主义态度，暴露了其在对待超凡心智上的短视。因此，保护和培育天才需要制度化的保障，也需要社会的包容与理解。在当代高校和科研机构，我们需要建立更为包容的评价体系，允许有着不同思维风格和研究节奏的人才的存在——尤其是那些行为与思维模式迥异于常人的天才，这是文明持续进步不可或缺的一环。

思想的双重回响：当代AI的军事化与民用化图景

战争作为人类最残酷的生存状态，却往往成为技术突破的关键催化剂。图灵本人的卓越贡献，成为这一悖论的生动注脚——正是二战期间破译德军恩尼格玛机的迫切需求，为其计算思想的实践与深化提供了独特的历史场域。在人工智能深刻变革世界的今天，历史正以新的形态重构自身。当前，美国和以色列正对伊朗发起“史诗怒火”“咆哮雄狮”军事行动；而不久前，美军在委内瑞拉强行高精度控制并转移其总统夫妇的行动刚刚落幕。在这两场标志着新型战争范式的冲突中，图灵思想的回响呈现出鲜明的双重路径：军事领域的“加速逻辑”与商业民用领域的“建设逻辑”，共同构成了技术影响力的完整光谱。

军事应用方面，AI已从辅助工具演变为作战体系的核心。2026年初的两次军事行动提供了明确例证：在1月针对委内瑞拉的行动中，Anthropic的Claude 模型（这是首个被确认用于美国机密军事行动的商业AI模型）通过Palantir平台被用于多源情报分析，协助目标定位与风险评估；在 2 月底美以对伊朗的联合军事打击中，Palantir的AIP系统作为“战场大脑”整合卫星图像、信号情报和开源数据，实现了分钟级甚至秒级的目标识别与打击决策，将传统“杀伤链”从数小时压缩至近乎实时。这些进展印证了图灵通用机器的预见——现代战场已成为由算法驱动的实时计算系统，其通用性体现在对作战全流程的极限加速。这引发了严峻的伦理诘问：当决策被压缩至秒级，“人类在环”（指将人类判断纳入人工智能系统决策过程的设计原则和操作实践）是否已名存实亡？我们是否背离了技术应为人类福祉服务的初衷？

与此同时，商业民用领域则展现了迥异的建设性图景。在商业创新方面，生成式模型与 AI 智能体重塑着产品设计、市场营销与服务流程，智能体作为数字员工在金融、法律、工业等领域发挥效能。在科学研究方面，从 AlphaFold 破解蛋白质结构到药物研发与气候模拟，AI 正成为突破认知边界的关键加速器。在社会生活层面，AI 通过智能助手、个性化教育、医疗诊断与智慧城市管理，深度融入日常的“衣食住行学健娱”。

一边是战争机器对 AI 的“征用”，另一边是商业公司对智能体能力的“释放”。站在这两幅既并行又交织的图景的交汇点，我们既看到了技术如何在极端压力下被驱动至新的高度，也目睹了同样的能力如何提高人们的生活水平。这迫使我们超越简单的道德评判，去思考一个更本质的问题：技术突破与其应用场景之间是否存在必然的伦理关联？回望图灵，他或许未曾预料到自己的思想会以如此方式照亮今日的战场与实验室，但本书恰为我们提供了理解这一复杂现实的思想钥匙——它提醒我们，技术的轨迹永远在人类的选择中蜿蜒向前。

智能时代的人才辨识：“天才”的内涵和教育的本质

在AI已能于诸多特定任务上超越人类的时代，我们亟须重新审视“天才”或卓越人才的内涵。图灵的生涯启示我们，未来的关键能力或许不在于掌握更多既有知识（AI更擅此道），而在于以下几方面：

（1）提出原初与根本问题的能力——图灵的伟大，始于对“计算”本身进行重新定义；

（2）跨范式思考与抽象建模的能力——图灵从人类计算行为中抽象出图灵机模型，体现了联结具体与一般、现象与本质的非凡思维跃迁；

（3）深刻的伦理判断与价值抉择能力——在算法可提供“最优”军事方案或商业策略的当下，进行审慎的价值排序与伦理裁断，是人之为人的核心尊严所在。

图灵的理论和精神从未远离我们。如今“图灵奖”已成为计算机科学界的最高荣誉奖，“图灵班”也在全球高校中涌现。这促使我们进一步思考：在人工智能时代，我们应当如何培育具备这些关键能力的人才？

在当下的教育实践中，我们正在探索从知识传授向思维塑造的转型。以中国人民大学高礼研究院为例，它秉持的理念是：真正的创新往往源于不同领域的交叉融合。它尝试构建一个开放包容的环境，鼓励学生跨越学科边界，在多元碰撞中发现真问题，培养系统性思维与批判性思考能力——这正呼应了图灵所展现的跨范式思考特质。

天才是可遇不可求的，但一个良好的创新生态却可以精心培育。这需要我们建立更丰富的评价维度，不仅看重显性的成果，更要关注那些潜藏于不同思维模式中的创造潜力。教育的本质不是简单地复制知识，而是激发每个个体独特的思考能力；不是制造整齐划一的“标准答案”，而是培养在复杂世界中保持独立思考、不被群体意识裹挟的清醒头脑。

结语：站在人机边界上的抉择

初次接触克里斯·伯恩哈特教授这本《图灵的远见：硅基生命的诞生》，是在2025年初春，正值全球AI热潮翻涌之际。面对层出不穷的技术突破与喧嚣的公共讨论，本书为我和许多读者提供了一条回归思想源头、探寻智能本质的清晰路径。它系统梳理了图灵的生平与思想，是理解其科学贡献与时代困境的重要媒介。从上帝的视角，亚当的苹果区分了男人和女人，诞生了碳基生命；从物理的视角，牛顿的苹果奠定了经典物理学革命的基础，诞生了现代工业文明；从AI的视角，图灵的苹果——本书的内容——真正诞生了硅基生命。

翻译本书的过程，对我而言是一次与图灵展开的持续对话，更是一段在技术狂飙时代重新审视奠基性原则的珍贵旅程。希望读者在阅读时，能带着对当下AI现实挑战的关切，与图灵进行跨越时空的思想交流。建议特别关注以下三个维度：

（1）关注“模仿游戏”——思考在算法主导的时代，如何重新定义“智能”与“人性”；

（2）体会“通用机器”——反思我们究竟在创造怎样的“通用能力”及其用途；

（3）共情图灵的悲剧——警惕制度对“异类”的压迫，并努力构建一个更包容、更审慎的技术社会。

本书的顺利出版，离不开中国人民大学出版社李文重老师及其编辑团队的专业付出，他们严谨的态度和对作品价值的深刻理解，令译本得以完善。特别感谢为本书写推荐序的英国皇家工程院院士亚历杭德罗·F.弗兰吉教授，他的同事杨书凡教授，我们的朋友刘鹏博士、张刚教授，以及理解和支持我们的领导、同事和家人，他们从不同维度为我们完成翻译工作提供了帮助。