<p class="ql-block"> 1854年,一个英国牧师在书房里写了一本书,叫《思维规律》。他把逻辑推理变成了代数运算——真和假对应1和0,与或非对应加减乘。这本书出版之后,几乎没有人看懂,也没有人觉得它有什么用。牧师自己也不知道,他写下的那些符号,七十年后会变成全世界每一台电脑的骨架。</p> <p class="ql-block"> 1936年,一个24岁的英国人在论文里描述了一个假想的机器:一条无限长的纸带,一个读写头,一套规则表。这个机器什么都算不了,它只是一个数学模型,用来回答“什么是可计算的”这个问题。写这篇论文的时候,他大概不会想到,三十多年后,他会被判“严重猥亵罪”,被迫接受化学阉割,最后在41岁那年吃下一颗浸过氰化物的苹果死去。更不会想到,他假想出来的那台机器,后来被命名为“图灵机”,变成了今天所有计算机的本质定义。</p><p class="ql-block"> 1945年,冯·诺依曼在普林斯顿高等研究院的一间办公室里,写下了一份报告。报告里描述了一种机器的结构:运算器、控制器、存储器、输入设备、输出设备,程序和数据一起存在存储器里,按顺序执行。这份报告没有发明任何新东西——真空管是已有的,继电器是已有的,布尔代数是1854年就有了的,图灵机模型是1936年提出来的。冯·诺依曼做的,是把这些散落各处的东西,组装成了一台机器的样子。</p> <p class="ql-block"> 他看见了一条线。</p><p class="ql-block"> 这条线从布尔的书桌出发,经过图灵的论文,最后连到冯·诺依曼的报告里。他没有发明布尔代数,没有发明图灵机,甚至“存储程序”这个想法也不是他一个人想出来的,但他做了一件更重要的事:他看见了这些发现之间的“序”,然后把它们连了起来。</p><p class="ql-block"> 这就是发明的本质——不是凭空造物,而是在已有的发现之间搭桥。</p><p class="ql-block"> 从1945年到今天,这条线一直在延伸。1969年,ARPANET把四台计算机连在一起,用的是分组交换技术,这个技术的理论基础是1961年一篇论文,作者用排队论证明了数据分成小包传输比电路交换更高效。1989年,一个在CERN工作的年轻人写了一份备忘录,提议用超文本链接文档,这个想法的根是1945年一个人提出的“Memex”构想——一个用微缩胶片和机械索引实现的知识关联机器。2004年,一个哈佛学生在宿舍里上线了一个网站,叫Facebook,他用的技术是LAMP架构,每一个组件都是开源社区里无数人积累下来的东西。</p> <p class="ql-block"> 互联网不是某一个人发明的,它是七十年来无数“发现”的叠加。信息论、分组交换、TCP/IP协议、超文本、开源软件……每一个节点都是一个“发现”,把它们连起来的线就是“发明”。</p><p class="ql-block"> 所以当你今天刷手机、发消息、看视频的时候,你看到的不是一个“发明”,而是一条从1854年开始、绵延一百七十年的链条。链条上的每一环都不可或缺:没有布尔,就没有数字电路;没有图灵,就没有通用计算机;没有冯·诺依曼,就没有存储程序架构;没有那个写排队论论文的人,就没有分组交换;没有写备忘录的年轻人,就没有万维网。</p> <p class="ql-block"> 发现是往已有的世界里找序,发明是把找到的序连成线。这条线从布尔的书桌出发,经过图灵的论文、冯·诺依曼的报告,最后连到你手里这块发光的屏幕上。</p><p class="ql-block"> 改造世界的方式,从来不是一次性的惊天动地,而是一代又一代人在已有的发现之上,搭一座桥、接一根线、造一台机器。桥接多了,就成了路。</p>