← → 翻页 · N 讲稿 · B 静态 · ESC 索引
计算 · 博与精
导读 / READING NOTES
吴翰清《计算》三部曲 · 首卷

计算

一部跨越 2500 年的计算思想史
从毕达哥拉斯的困惑，到图灵机的诞生，再到"宇宙是不是一台计算机"——回答"计算的原理是什么"
著 · 吴翰清 01 / 25
钩子 / THE HOOK
导论
上下五千年，弹指一挥间
1016
电子计算机发明之前的 5000 多年里，全人类总共计算不超过 1016 次。
而今天，人类每一秒的计算次数，就已远远超过这个数。计算的密度，超过了人类历史所有阶段的总和。
普罗米修斯之火02 / 25
定调 / CONTEXT
导论
计算解放了人类的思想

望远镜拓展视野
计算机解放思想

电子计算机是被人类盗取的"普罗米修斯之火"。它一方面让人节约脑力——把问题交给机器"算一算"；另一方面让人从更大的尺度思考，敢想以前所不敢想。
计算"三部曲"的三个根本问题
本书 · 卷一
计算的原理是什么？
卷二
计算的技术如何实现？
卷三
计算将对世界产生什么影响？
计算·博与精03 / 25
核心立场 / THESIS
导论
核心立场 · 一个被普遍混淆的概念

计算，
究竟是什么？

"计算是数学的价值放大器——计算对社会的应用价值，就是数学对社会的应用价值。"
—— 吴翰清
老百姓加减乘除、菜市场算账3000 yr ago
程序员芯片执行指令的过程instruction
产业者提供算力的机器与系统compute
科学家图灵机的严格数学定义turing
哲学家进化、演化、宇宙的本源cosmos
一个被混淆的概念04 / 25
I
第一幕 / ACT I
第一·二部分
计算理论藏在三次数学危机里

危机与重建

两千多年里数学一直在用"计算"，却从未精确定义它。三次数学危机一脉相承，都源于一个词——无穷。
计算的诞生 · 计算的数学基础05 / 25
脉络 / TIMELINE
2500 年
一条贯穿 2500 年的思想链

从"万物皆数"到"通用图灵机"

公元前 6C
毕达哥拉斯
万物皆数 · 第一次危机
公元前 3C
欧几里得
公理化演绎的典范
9C
花拉子米
代数 / Algorithm
17C
莱布尼茨
"算一算就能裁决"
19C
布尔
逻辑代数 · 推理即计算
19C
康托尔
集合论 · 对角线方法
1900
希尔伯特
形式系统 · 判定性问题
1931
哥德尔
不完备性定理
1936
图灵
图灵机 · 计算的定义
1946
冯·诺依曼
EDVAC · 电子计算机
人物谱系06 / 25
三次危机 / CRISES
核心主线
三次危机一脉相承 · 都源于"无穷"

数学大厦的三次震荡

第一次
无理数
希帕索斯发现 √2 不可通约，动摇"万物皆数"，被投入大海——为数学真理殉身第一人。
第二次
无穷小
微积分的"无穷小"时零时非零。贝克莱讥讽：这难道不是"消逝量的鬼魂"吗？
第三次
罗素悖论
"不属于自身的集合"动摇集合论根基。弗雷格：基础在工作完成时崩溃了。
悖论，也是进步的契机07 / 25
本体论之争 / ONTOLOGY
2500 年未决
本体论之争 · 贯穿 2500 年

数学是发明，还是发现？

柏拉图主义 · 发现
理念世界本就存在
数学对象永恒地存在于"理念世界"中，数学家只是去发现它（洞穴比喻）。后继者：哥德尔、彭罗斯。
亚里士多德 / 唯物论 · 发明
数是抽象的发明
数是对物理对象聚合的抽象，凡数学属性都须被构造证明。直觉主义构造论最古老的源头。
作者的调和：是发现还是发明，取决于"公理"——公理定下的那一刻模式已确定，推理只是"发现"其蕴含的信息；而修改公理（如非欧几何）则是一种"发明"。
这场争论，延续到了 图灵信念 vs 哥德尔信念 · 内模型 vs 外模型
数学是发明还是发现？08 / 25
重建数学 / FOUNDATIONS
兔蛙鼠之战
为重建数学基础而生的四大阵营

重建数学大厦的四条路

兔派 · 罗素 / 怀特海
逻辑主义
从逻辑公理推出全部数学。《数学原理》第 379 页才证 1+1=2。
蛙派 · 布劳威尔
直觉主义
"存在必须被构造"。拒绝实无穷与排中律——却给了计算机"精度"的概念。
鼠派 · 希尔伯特
形式主义
数学=无意义符号按机械规则演算。"桌子、椅子、啤酒杯"。
策梅洛 / 弗兰克尔
公理集合论
用公理禁止"过大"的集合。ZFC 成为今日数学的基础。
20 世纪初的"众神之战"09 / 25
转折 / TURNING POINT
1900 / 1930
"我们必须知道，
我们必将知道。"
DAVID HILBERT · 数学的无冕之王 · 墓志铭
他宣告"并没有不可解的问题"。同一场会议，24 岁的哥德尔正悄悄宣布——这个梦想即将被摧毁。
王者的雄心10 / 25
II
第二幕 / ACT II
第三部分
给"计算"一个精确的数学定义

计算的诞生

哥德尔证明了计算的边界，图灵给出了计算的定义。
现代计算机，都是通用图灵机。
计算理论的形成11 / 25
终结者 / GÖDEL
1931
哥德尔不完备性定理

一个包含初等算术的形式系统

既不完备，
也无法从内部证明自身的一致性。
用哥德尔数编码 + 对角线方法构造出"既不可证是、又不可证否"的命题。希尔伯特纲领就此破产。
公理化方法有本质缺陷——加再多公理，也永远造得出新的不可判定命题。
最深刻的推论
计算机并非万能
现代计算机受此约束，有许多题目永远算不出来。
"可证" ≠ "真"12 / 25
图灵机 / TURING MACHINE
1936
计算的精确定义

一条无限纸带
一个读写头

图灵把人类计算员的思维分解为机械的"简单操作"，论证机器的计算过程等价于人脑思维。计算，就是状态间机械步骤的切换。
通用图灵机
程序即数据 = 可编程
现代计算机全都是通用图灵机。
三大流派的集大成者
符号 + 形式 + 构造
整合逻辑主义的演绎、形式系统的机械变换、直觉主义的可构造。
形式系统，就是一台图灵机13 / 25
边界 / CHURCH–TURING
通用性 + 极限
丘奇-图灵论题 · 计算的通用性与极限

计算的通用，与不可逾越的边界

三者等价
图灵机 = 丘奇 λ 演算 = 递归函数。计算有了精确而通用的定义。
停机问题不可解
不存在通用图灵机能判定另一台机器是否停机——除非真的运行一遍。
实践出真知
"很多事情，只有实际去做了，才知道会发生什么。"纸上谈兵行不通。
丘奇-图灵论题第一次从逻辑上，建立起"算力"与"价值"的关联——真理并非显然，唯有推理与算力，才能从公理中不断淘金。
算力，第一次与价值挂钩 · 科学家由此转向计算复杂性
算力，第一次与价值挂钩14 / 25
落地 / TO THE MACHINE
理论 → 实物
从纸上的图灵机，到改变世界的电子计算机

理论如何变成了机器

01
布尔代数
逻辑的代数化，AND/OR/NOT，二值解释
02
香农逻辑电路
用电流的开关实现布尔运算——计算机的物理基础
03
冯·诺依曼架构
EDVAC，程序与数据融为一体（含算术逻辑单元）
04
现代计算机
受哥德尔定理约束，也由此走进千家万户
工业革命解放了人类的体力，计算革命终将解放人类的脑力。
→ / Space 逐步展开15 / 25
III
第三幕 / ACT III
第四部分
计算的极限，与四个终极追问

计算的边界
与终极之问

复杂性 · 量子计算 · 复杂系统 · 人工智能——计算最终通向四个无人能答、只能凭信仰选择的哲学问题。
计算的极限16 / 25
复杂性 / P vs NP
千禧年难题
能不能算之后，还要问：要算多少步？

P =? NP

验证一个答案，是否真的比求解一个答案更容易？这关乎认知的边界、信息的安全，乃至世界的运行方式。
百万美元悬赏多数科学家相信 P≠NP
若 P=NP，新药速成、永久和平——但互联网将不再安全（RSA 加密崩塌）。
"世上的事可能没有捷径，甚至不会成功，但仍有人在努力。如果生命中没有遗憾，那该多么无趣。"
P 类：想得明白的 · NP：想破脑袋也想不明白的17 / 25
量子计算 / QUANTUM
计算是物理的
计算不只是数学的，更是物理的

经典计算是模拟，
量子计算就是计算本身

量子计算直接操作物理对象（量子比特），而非数字化建模，因此更接近计算的本质。经典计算只是它的一个特例。
Shor 算法
多项式时间分解大数
挑战强丘奇-图灵论题，威胁 RSA——但靠的是函数的周期性结构。
量子霸权
叠加 · 纠缠 · 不可克隆
谷歌 Sycamore、中国"九章"。容错量子机仍需上百万量子比特。
量子计算必然脱离冯·诺依曼架构18 / 25
复杂性 / EMERGENCE
从简单到复杂
简单规则的递归迭代 + 随机性 → 涌现

世界在计算上，是对称的

涌现 = 分析的逆运算
分析把复杂还原为简单；涌现则从简单跃迁到复杂（生命游戏、元胞自动机）。
网络科学
人际=小世界网络；经济=无标度网络（富者更富）。公平来自随机性。
进化即计算
DNA→蛋白质是计算过程。控制论：反馈与目的，驱动自组织。
只有复杂，才能应对复杂19 / 25
世纪论战 / CAN MACHINES THINK
哲学问题 ③
跨越世纪的大论战 · 只能凭信仰选择

机器，能思考吗？

图灵信念 · 作者持此
大脑是一台图灵机
机器可达甚至超越人类智能。深度学习 → AlphaGo → ChatGPT。"为这一天，我们等了 350 多年。"
哥德尔信念
人的心灵高于机器
因不完备定理，人能判断机器不能判断的命题。分歧关键：大脑思维是离散，还是连续。
而作者对 ChatGPT 的冷静判断：它更像"人在照镜子"——反映的是人类自身的群体记忆，并未诞生真正的人的心智。
深度学习 · AlphaGo · ChatGPT —— 图灵信念者拉开了机器智能的帷幕
机器能思考吗？20 / 25
反思 / THE CROW
小数据 · 大任务
来自一只乌鸦的启示

人类 350 多年的科技积累，
抵不过一只乌鸦的大脑

乌鸦不需百万标注，就学会用红绿灯和汽车砸开坚果。大模型一味追求"大数据 + 大算力"的路线，是有问题的。
人脑功耗
10–25 瓦
和一只灯泡差不多
智能从何而来
数亿年进化计算
也许对生命涌现的研究，将启发全新的计算范式。
人工智能需要一个"乌鸦图腾"21 / 25
图灵极限 / TURING'S LIMIT
哲学问题 ④
自然界中，不存在比图灵机更强的计算模型
宇宙，
是一台计算机吗？
物理世界本身是一种数学结构。若宇宙的信息是守恒的，那它极可能就是一台计算机——并且必受不完备定理约束：要么不完备，要么不一致。
It from Bit · 万物源自比特22 / 25
世界观 / WORLDVIEW
计算主义
大脑是一台计算机，宇宙是一台计算机

一种计算主义的世界观

"我是谁？"
没有意义
等价于图灵机判定自身停机——不可判定。算命，也无从谈起。
命运
与时间 / 算力有关
"莫等闲，白了少年头"——不在于他人决定你，而在于你还有想做的事却没时间了。
聪明 ≠ 智慧
积累成洞察
聪明靠营养，智慧靠神经网络对记忆/知识的综合调动。
语言的边界
即思维的边界
凡语言能描述清楚的，机器都能计算。但"只能意会，不可言传"。
计算理论，触碰到了人类思维的边界23 / 25
收束 / THE KEY
计算主义
计算的奥秘，
就是世界的奥秘。
计算，是以符号变换为载体、处理信息、演化万物的过程。它能模拟自然，也能创造（大楼草图、电子游戏、大自然的进化）。在计算过程中，规则比结果更重要。
计算并非数学家的专长，而是每个人与生俱来的本能24 / 25
∞
结语 / EPILOGUE
过往种种，皆是序章
四个终极问题至今无解，只有信仰

为人类开启
机器时代的新纪元

从 350 多年前莱布尼茨的计算之梦，经布尔、康托尔、罗素、希尔伯特、哥德尔、图灵、冯·诺依曼——直到云计算与人工智能。
我们坚信这一天终将到来：机器智能造福人类。
计算·博与精 · 吴翰清25 / 25