← → 翻页 · N 讲稿 · B 静态 · I 索引
A COMPUTATIONAL EXPLORER
幻灯集 · Deckfolio
斯蒂芬·沃尔弗拉姆 Stephen Wolfram · 2019 · 随笔集导读

计算探险家

用计算的眼睛看世界
一个厌恶算数的孩子，靠「造工具」和一双计算之眼，把从外星人、圆周率到自我的一切都当成程序来探索——一路撞见同一个真相：简单规则能生成任意复杂。
简单规则，能造出任意复杂01 / 26
导览 / ROADMAP
四幕 · 一次计算探险
这本书是散点随笔，但底下是一条认知链——先给地图，再逐幕走

先看清路线，
再走进计算宇宙

01 · 计算之眼
透镜的诞生
给任何领域加一个「computational」前缀，就打开一个新方向——一个厌恶算数的孩子靠造工具看世界。
02 · 向宇宙提问
最普适之物
逼问「最普适的东西」，你总会掉进元胞自动机，并发现数学其实不够普适。
03 · 计算等价性
复杂的秘密
简单规则生成任意复杂，于是智能=计算、人与万物无高下、可预测性有硬边界。
04 · 唯一特别的是细节
意义的支点
计算遍地廉价，人真正独有、值得留存的只有「你恰好是谁」的历史细节。
计算之眼 → 向宇宙提问 → 计算等价性 → 唯一是细节02 / 26
I
第一幕 / ACT I
The Computational Eye
计算之眼的诞生 · 一副叫「计算」的透镜

计算之眼

计算思维，是给任何现有领域加一个「computational」前缀就能打开的新方向——计算法学、计算医学、计算考古学。它比数学思维更根本。先看这副透镜，是怎么在一个厌恶算数的孩子身上长出来的。
给任何领域加 computational，就是一个新方向03 / 26
KINDERGARTEN
显而易见 ≠ 会被相信
「哪怕你注意到
像太阳被咬掉一角这么明显的事，
也不保证能说服别人」
6 岁那年在牛津幼儿园的树下，他发现地上的光斑不对劲，抬头看见太阳被咬掉一角——日食。他兴奋地告诉旁边四个小孩，没有一个信他。这份「显而易见也未必被接受」的倔强，成了他一生做非主流研究的底气。
注意到真相≠说服得了别人
这份倔强，成了他一生的底气04 / 26
THE ADDING SLIDE RULE
与其记忆，不如造工具
一个连乘法表都懒得背的孩子，最早的方法论雏形

与其把答案记住，
不如造一台机器算它

拒绝的路 · 记忆
背表
他不肯背加法表；乘法全靠一个别人不会的事实 7×8=56 撑场面。四十多岁，他才真正背全 12×12 乘法表。
选择的路 · 工具
加法尺
他把两把尺子并排，做成一台「加法机」——每次要做加法，桌上就「碰巧」有两把尺子。造工具替代记忆，是他一生方法论的最早雏形。
与其成为一本活的答案表，不如成为一个会造工具的人。
造工具替代记忆，方法论的第一颗种子05 / 26
ELLIOTT 903C
约束，逼出了创造
12 岁在伊顿见到人生第一台计算机——经手他的老师是图灵的朋友

为把它塞进机器，
他把世界简化成了元胞自动机

他想在这台只有 8 千字、18 位磁芯内存、靠穿孔纸带编程的机器上，模拟气体分子如何走向无序（熵增）。为塞进这么点内存，他把它砍成了一个二维元胞自动机——正是十年后让他做出 rule 30 大发现的那类系统。
限制不是创造的敌人，常常是它的产婆。
当年最大成就
纠错纸带 loader
他给容易读错的纸带写了个纠错码加载器——先把工具做可靠，再谈解物理。
约束把他推向了 rule 30 的那类系统06 / 26
YOUNGEST PHD
用自己造的工具，查自己的历史
答辩时正和费曼争论热力学第二定律，突然地震
20 岁 2 月 7 天
多年后，为确认自己是不是加州理工最年轻的博士，他没去翻档案——他用自己造的 Wolfram | Alpha 查「1979 年 11 月 加州理工 地震」，反推出唯一可能的答辩日期：1979 年 11 月 5 日。纪录以不到一周之差保住。早起跑，让他在热情被规训磨平之前就出发了。
造好工具→连自己的过去都能反查
早起跑，赶在热情被磨平之前出发07 / 26
II
第二幕 / ACT II
Questions to the Universe
向宇宙提问 · 外星人 · 圆周率 · 最普适之物

向宇宙提问

当你用计算去逼问「什么才是最普适的东西」，你总会掉进元胞自动机——并发现一个尴尬的事实：连数学，都不够普适；所谓普适，往往只是人类特有的文化约定。
逼问普适，你总会掉进元胞自动机08 / 26
ARRIVAL
一个晚上，发明星际旅行
为电影《降临》当科学顾问，临拍前被要求给女主身后的白板写「高水平物理」

为把科学讲对，
他先给自己造了一套自洽理论

01 · 飞船
像 rattleback
飞船像一个会自己反转的陀螺（回力标陀螺），能凭空改变旋转方向。
02 · 旋转
产生引力波
这种旋转在时空里激起引力波。
03 · 相干
引力子激光
引力波在船体附近相干放大，成为一束「引力子激光」。
04 · 推进
推动飞船
激光推动飞船——白板上 24 条编号公式，讲的就是这个故事。
「对我这样一个真科学家来说，编这些东西很有趣，甚至有种解放感。」
一晚发明星际旅行，只为白板不出错09 / 26
FLASHCARDS FOR ALIENS
真正普适的起点是什么
该给外星人寄什么，才能证明「我们有智能」

最普适的起点，
藏在简单规则里

他设计给外星人的「闪卡」，从二进制数字直接跳到元胞自动机，跳过了人类数学史的惯常顺序（二进制其实很晚才流行）。普适的东西，未必是我们课本里的那套。
人类的顺序
算术 → 几何 → 代数
高斯早在 1820 年就建议：在西伯利亚森林里刻出毕达哥拉斯定理的图，给外星人看。
普适的顺序
二进制 → 元胞自动机
从最简单的规则出发，才是任何智能都会撞见的共同语言——不带人类的文化包袱。
共同语言的起点，是最简单的规则10 / 26
THE PIONEER PLAQUE
所谓普适，全是人类约定
「若想表示 21 厘米的辐射，
为什么不干脆画一条正好这么长的线？」
他一直不喜欢卡尔·萨根那块「物理学家一看就懂」的先驱者号铭牌，觉得它「太自作聪明」。用箭头表示原子自旋是纯粹任意的约定；用 21 厘米谱线当长度单位，可铭牌本身就宽 22.9 厘米——为什么不直接画一条 21 厘米的线？所谓「普适」，其实处处是人类特有的文化约定。
自以为普适其实全是人类约定
越想显得普适，越暴露你是人类11 / 26
HUNTING FOR OUR UNIVERSE
宇宙，可能只是几行代码
他的业余爱好：在「所有可能程序的空间」里，搜出我们这个宇宙

宇宙也许只是
「第某号规则」

把物理的终极规律当成一段可枚举的简单程序去搜——他发现，凡满足「因果不变」的规则，会自动导出狭义相对论；随机化的网络在极限下满足广义相对论的爱因斯坦方程。宇宙，可能真的只是几行代码。
哥白尼时刻
我们有多特别
「一旦找到，我们就将知道自己的宇宙到底有多特别、或多不特别。」
他的理由
连试都不试才难堪
「如果我们的宇宙就在那儿、用今天的技术就能找到，我们却连试都不试，那才叫难堪。」
在所有可能程序里，搜出我们的宇宙12 / 26
PI OR PIE ?!
你可以用 π 做任何事
他的生日，藏在圆周率的数字深处
第 151,653 位
因为 π 的无穷数字序列——据我们所知——完全随机，所以「你可以用 π 做任何事」：任何日期、任何生日都藏在里面。他生日串第一次出现在第 151,653 位；用一台 Mac 算出一千万位 π，只花了 6.28 秒（恰好 2π）。若在 π 里看到复杂结构，我们只会说「这只是数学」——这正是计算等价性的一个侧影。
完全随机→里面什么都有
π 里能找到一切，因为它彻底随机13 / 26
III
第三幕 / ACT III
Computational Equivalence
计算等价性的震撼 · rule 30 · 智能与计算没有分界

简单规则，任意复杂

一个最简单的规则，从单个黑格出发，就能生成看似完全随机的复杂——这是「复杂性从何而来」的秘密。它的推论很震撼：智能与纯计算之间，并没有一条明确的分界线。
复杂，不需要复杂的原因14 / 26
RULE 30
他的个人伽利略时刻
256 个基本元胞自动机里，第 30 号是他印在名片上的那个

单个黑格，
长出完全的随机

规则简单到能写在指甲盖上，初始只有一个黑格子；可它生成的图案，通过了所有随机性检验。这是他的「个人伽利略时刻」——他把 rule 30 印在名片上很多年。
秘密
复杂来自规则本身
不需要复杂的原料、也不需要外部随机源——复杂性是简单规则自己算出来的。
推论 · 计算等价性
智能 = 计算
一旦越过很低的门槛，几乎所有系统的计算能力都等价——「智能」和「纯计算」之间没有明确分界线。
复杂性，是简单规则自己算出来的15 / 26
CAMBRIDGE NORTH
从计算宇宙里选出图案
2017 年一座新车站的穿孔铝板，被网友认出正是 rule 30

算法之美，
更接近摄影

白天 · 外看
rule 135
剑桥北站外墙的穿孔铝板，白天看是 rule 135 的图案；他甚至算出连初始条件都是他最爱的「单个黑格」。32 种 3×2 方块里只出现了 24 种。
夜里 · 透光
倒成 rule 30
夜里灯光从孔里透出，明暗倒转，恰好变回 rule 30。你没有「设计」这个图案——你是在计算宇宙里，把它「选」了出来。
造图案像绘画，从计算宇宙里选图案像摄影——你只是发现了本已存在的东西。
从计算宇宙里，选出一张美的图16 / 26
WOLFRAMTONES
机器也有创造力
把元胞自动机的切片当乐谱，做出的曲子通过了「音乐图灵测试」
产量 ＞ iTunes 全部
2005 年上线的 WolframTones，用简单规则自动作曲，好到同事会问「你在听什么歌」。它单枪匹马产出的原创曲目，已经超过 iTunes 上全部约一千四百万首——比整部人类音乐史还多。更妙的是：熟练的作曲家反过来跑来这个自动系统，寻找我们本以为人类独有的东西——创作灵感。
听过它的音乐→简单程序就像我们多了
作曲家反过来，来机器这里找灵感17 / 26
AI ETHICS
智能与计算，没有分界线
「天气真的有它自己的心智——
它做的计算，和我们的大脑一样精密」
如果智能不过是足够复杂的计算，那么天气、流体、乃至一块石头，都在做和大脑一样精密的计算。这就是为什么给 AI 立「宪法」如此之难：哥德尔定理加上计算不可约性意味着，任何写死的约束都必然产生意外后果——阿西莫夫机器人三定律，注定行不通。约束一个计算系统，本质是写下我们自己的历史细节。
约束 AI=写下我们的历史细节
任何写死的规则，都必有意外后果18 / 26
THE CULPRIT IS FOUND
debug 像实验科学
Wolfram 云端出现诡异的「量子化」卡顿——220 毫秒、900 毫秒、更长

2822 万行日志，
只为逮住一个真凶

计算不可约性下，没有捷径，只能像做实验一样一步步逼近。他亲自用三行代码复现故障，跑 strace 拿到 2822 万行日志，锁定卡在 futex。真凶：五年前一个从没被替换掉的版本管理「概念验证」，每改一点文件就疯狂写盘，把整个 Linux 内核冻住。
复杂系统里没有捷径——只能像实验科学一样，一步步跑到真相。
strace 日志
2822 万行
CEO 亲自 debug，逐行逼近。
不可约的系统，只能一步步跑到真相19 / 26
IV
第四幕 / ACT IV
Details Are the Only Special Thing
唯一特别的是细节 · 自我 · 工艺 · 意义

唯一特别的，是细节

既然计算遍地廉价、连天气都和大脑一样聪明，那么人真正独有、值得留存的，就不再是聪明本身——而是「你恰好是谁」的那些任意历史细节。这也是他花三十年追踪自己的原因。
聪明遍地廉价，细节唯一稀缺20 / 26
PERSONAL ANALYTICS
把自己当成一份数据存档
既然计算遍地，值得留存的只有你历史的细节——于是他留存了自己的一切

他追踪自己，
已经三十多年

81.5 万封
从 1989 年至今，他完整存档了自己发出的每一封邮件。
EMAIL
超 1 亿次
捕获了自己每一次键盘敲击——其中退格键的比例，几十年恒定在约 7%。
KEYSTROKE
凌晨 3 点
睡，11 点起；站在跑步机办公桌前工作——把琐碎实务弄得越例行，智识上就越有精力、越自发。
ROUTINE
2002 年
写完《一种新科学》，在他的活动数据里留下一道清晰可见的分界线。
NKS
值得留存的，只有你历史的细节21 / 26
SPIKEY
一个多面体，连起全球陌生人
Wolfram 的标志，是一个 60 面的菱形六十面体（对角线成黄金比 φ）

一个抽象多面体，
把陌生人的历史连在一起

他 2009 年才发现，巴西民间早有同款布艺 Spikey，叫「旋转世界」。母亲在女儿出嫁时，用旧衣布片把它缝出来——并在缝合前，把应急钱悄悄缝进里头，藏在针线盒里。一个纯抽象的几何体，竟串起了地球两端素不相识的人。
数学史
开普勒差点发现它
1940 年才由一位设计声导鱼雷的德国人发现；他 2009 年 2 月 7 日凌晨把它转到对称朝向，定为标志。
民间
缝进嫁妆的应急钱
同一个形状，一边是纯数学，一边是母亲对女儿的牵挂——细节，才是它真正动人的地方。
同一个形状，两端是数学与牵挂22 / 26
TEN THOUSAND HOURS
取不出名字＝还没真懂它
为一个函数取名，他试了一串词，最后才等到那个对的——工艺就在这种细节里

给一个函数命名，
像写一首小诗

01 · 试名
Control / Live
Interface、Activate、Dynamic、Live、Control、Handle、Harness……都不太对。
02 · Yoke
撑了几天
「Yoke（轭）」这个名字撑了好几天——但最后被同事关于「牛」的玩笑淹没了。
03 · Manipulate
终于对了
然后 Manipulate 出现了。取不出好名字，是因为你还没彻底弄懂它到底在做什么。
04 · 工艺
一万小时评审
为一个版本他做了约一万小时设计评审、命名近千个函数；1988 年写的程序，至今仍能运行。
「每个名字都封存着一个想法，冻结在一小团词里——像小诗，成千上万首。」
取不出名字，就是还没真懂它23 / 26
THE FACEBOOK WORLD
把计算望远镜对准社会
用百万人的匿名数据，看亿万人生在聚合层会显出什么规律

亿万人生，在聚合层
竟像化学反应

好友数
中位数 342
一个人好友数的中位数是 342；分布服从幂律，指数约 −2.8。
友谊悖论
朋友比你「多」
你的朋友看起来总比你朋友多——这是抽样偏差；修正后中位数其实是 229。
反应速率
人像分子
从单身到恋爱到已婚，各年龄段的「转化」竟像化学反应一样，有稳定的反应速率。
把计算望远镜，对准整个社会24 / 26
THE STRONGEST OBJECTION
也给沃尔弗拉姆留一层怀疑
读一个如此自信的人，尤其要留一层清醒
rule 30 出现在名片、车站、
他生命的每一个角落——
这是发现，还是先有结论再找证据？
全书几乎每条探险，最后都通向他自己的发现（rule 30 / 计算等价性 / Wolfram 语言），像把个人方法论包装成宇宙真理。从外星人到圆周率到法律，答案永远是「我恰好花了三十年造好了那个框架」——难以证伪，更像销售而非论证。而支撑这一切的私有公司、八百名员工、早慧起跑，未必人人可复制，却被讲成通用的「计算思维」。
极度自我中心·难证伪的过度自信·回避运气与资源
承认这些，才不是又一次盲目的崇拜25 / 26
30
EPILOGUE
A Speech for Graduates
他给毕业生的赠言，也是全书的收束

走得最远的，
是最会想清楚「该做什么」的人

方法就两条：给任何领域加一个「computational」前缀，那里就有新方向；然后靠「工具塔」逐层复利——造工具，用它弄懂事情，再用弄懂的东西造更多工具。他这样做了三十多年（SMP → Mathematica → Wolfram | Alpha → Wolfram 语言）。
加前缀 → 造工具 → 弄懂 → 再造工具
计算探险家 · 用计算的眼睛看世界26 / 26