一部科技达人的科技史和哲学著作，一部突破人类想象思维，融合历史叙事与人文关怀的大众科普读物。形成聚焦价值引领、激励原始创新的科技文化生态。

书名：柏拉图与技术呆子

定价：88元

作者：爱德华·阿什福德·李

出版社：中信出版集团

出版日期：2020-08

页码：388

装帧：假精装

开本：16开

ISBN：9787521714241

1.本书打破了学科边界，突破工程技术、信息科学等领域，全面融合人类认知体验，从哲学、物理学、社会学等多角度剖析信息技术变革与人类认知的共生关系。

2.本书打通科学、工程技术变革与人类认知工程技术共生发展的内在逻辑。

3.3.本书理论创新，结合科学、工程技术和社会变革，颠覆了传统理论。

这是一位技术达人撰写的科学史和哲学著作。作者爱德华·阿什福德·李提出了一个大胆的观点：数字技术的创造者具有强大的创造力。技术的进步似乎不再受限于任何物理性因素，而是受制于人类的想象力。作者认为工程学是一项创造性的技术，它是一个高度思辨和创造性的过程。本书不仅要写给那些开明的技术专家，它的读者还包括那些具备基础的理科知识，从事人文学科研究的人士。李教授认为技术的力量源于人类与之合作的方式，并进一步解释了数字技术之所以具有巨大的发展空间的原因。

李教授在书中探究了工程师是如何利用模型和抽象技术创造性地构建了虚拟的世界以及带给人类从未梦想到的事物，比如，人类能够随身携带和阅读迄今为止出版过的所有读物。但是，他也试图反对技术狂热者强调真实世界都是运算的过程——甚至连同人类认知的复杂现象也是能够进行数字化操作的观点。李教授认为，人类的认知能够实现数字化的操作缺乏科学依据，大自然的发展过程是数字化运算过程的可能性是很渺茫的。

继而，李教授认为人工智能技术在计算机上再现人类认知过程的目标实际上低估了人脑的潜能。作者认为，技术的发展将随着人类的发展而不断地提升。伴随人类对认知系统以及真实世界认识的不断提高、发展和普及，技术的发展也会不断地升级。技术的发展与人类的发展是互补性的而不是竞争性的关系。

第一部分

1.墙上的影子

1.1技术呆子/003

1.2人工的与自然的/009

1.3设计和发现/014

1.4工程和科学/022

2.发明自然法则

2.1未知的已知/037

2.2自然的模型/044

2.3模型是错误的/056

3.事物之模型之模型之模型

3.1技术的分层/065

3.2简化的复杂性/068

3.3模型的传递性/074

3.4还原论/080

4.硬件快速演化

4.1硬和软/085

4.2半导体/088

4.3数字开关/092

4.4逻辑门/093

4.5逻辑图/097

4.6数字机器/100

5.软件的持久力

5.1自我支撑/105

5.2指令集体系架构/109

5.3编程语言/114

5.4操作系统/127

5.5库、语言和方言/129

5.6云/136

6.进化与革命

6.1常态工程/141

6.2危机与失败/145

6.3危机与机遇/158

6.4危机中的模型/162

第二部分

7.信息

7.1悲观主义变成乐观主义/175

7.2信息处理机/178

7.3度量信息/181

7.4连续信息/190

8.软件的局限性

8.1通用机器？/201

8.2不可判定性/207

8.3势/219

8.4数字物理学？/227

9.共生关系

9.1连续统的概念/239

9.2不可能成为可能/244

9.3数字灵魂？/250

9.4共生的伙伴关系/258

9.5不完备性/261

10.决定论

10.1拉普拉斯妖/273

10.2蝴蝶效应/285

10.3决定论的不完备性/292

10.4决定论的硬和软/302

11.概率与可能性

11.1贝叶斯学派和频率学派/307

11.2再论连续统/322

11.3不可能与不大可能/326

12.最终的想法

12.1二元论/335

12.2障碍/341

12.3自主与智能/350

现任伯克利工业CPS研究中心主任，曾任加州大学伯克利分校电子工程与计算机科学系主任，现为该系RobertS.Pepper特聘教授。主要研究方向是嵌入式与实时计算系统的设计、建模和模拟。他是嵌入式系统领域的知名学者，也是CPS研究的倡导者和引领者之一。Lee教授分别于耶鲁大学、MIT及UCBerkeley获得本科、硕士及博士学位。他共有《嵌入式系统：CPS方法》等专著8部。他是IEEE？Fellow，获IEEE杰出技术成就与领导奖、美国NSF总统青年科学家称号以及弗雷德里克·特曼工程教育奖。

前言

当我青春年少时，我的父亲想让我将来成为一名律师，或者获得工商管理学硕士学位并接管家族企业，而工程师是那些正在为他干活的人。最聪明的年轻人，至少是那些美国盎格鲁-撒克逊白人的后裔，读的是法学院、商学院或医学院。和过去相比，现在要考入工程学院的难度很大，在我读大学的时候情况却并非如此。当我主修耶鲁大学的“计算机科学”和“工程及应用科学”双学士学位的时候，父亲对我感到非常失望。继而我去麻省理工学院攻读工程硕士学位，然后成为贝尔试验室的一名工程师，最后又去伯克利大学攻读博士学位，并成为一名大学教授。我的一次次决定让父亲越来越失望。这本书也许是我最后一次为那些决定进行辩护的尝试吧。当我开始写作本书时，我实际上并不清楚我的目标读者都会有谁。但随着本书的完成，我确信本书是以有人文社科底蕴的技术专家或者懂技术的人文主义者为读者对象的。我不确定这样的人能有多少，但我深信肯定会有一些。我希望你就是其中的一员。

本书试图解释为什么创造技术的过程，即我们称为工程的过程，是一个非常有创造性的过程，并希望向读者解释为什么这个学科变得如此火爆和有竞争力，以至能够让一些极客从最聪明的年轻人当中脱颖而出。本书将向读者介绍技术文化、技术的力量与局限性以及技术的真正力量，是如何通过与人类的伙伴关系发挥出来的。我喜欢把这本书视为一种受欢迎的技术哲学读物，但我怀疑它是否会受到读者的欢迎，而且我也不确定我是否具备写哲学书的资质。但是，我唯一可以保证的是，这是一本关于技术和创造技术的工程师的书。即便如此，本书也无法做到包罗万象，仅限于我最了解的技术部分，特别是数字和信息技术革命。

本书讨论的不是如何以技术为媒介来释放艺术性和创造性。如果读者想要了解这方面的内容，那么我推荐您阅读维吉尼亚·赫弗南2016年出版的《魔法与迷失》（MagicandLoss）一书。赫弗南声称“互联网是现实主义艺术大规模协同工作的产物”，但她指的是互联网的内容。在我的书中，我认为互联网技术本身，以及支撑它的所有数字技术，都是一项大规模协同的创造性工作，即使其并非艺术工作。

数字技术作为后来出现的一种有创造力的媒介，有着巨大的潜力，并且远远超过迄今为止其他技术领域所取得的成就。在本书的第一部分，我将详尽地解释为什么这项技术具有如此彻底的变革性和解放性。我研究了工程师是如何创造性地使用模型和抽象来构建人工世界，给予我们难以置信的能力的。例如，将迄今为止人类出版过的所有图书全部装入口袋的能力。

但这并不意味着数字技术就没有它的局限性。为了从正反两方面阐释数字技术的发展，我在本书的第二部分试图反驳一些所谓思想领袖对数字技术和计算的狂热痴迷。在计算机技术巨大潜力的驱动下，这种狂热导致了一些不合理的信念。这些信念甚至断言，物理世界中的一切实际上都是一种计算，其在本质上与现代计算机的运算过程是完全相同的。一切事物，包括诸如人类认知等复杂现象以及诸如星体等我们不熟悉的事物，都不过是在数字数据上运行的软件。

我认为，这些结论的证据是薄弱的，大自然仅将自身局限于符合当今数字计算概念的过程的可能性相当渺茫。我将证明，这一数字假说并不能得到实证验证，因此也就永远不能被解释为一种科学理论。由于其可能性非常渺茫，证据极弱，而且假设又是不可验证的，所以得出的结论不过是一些胡思乱想罢了。我在这里的论点可能会给我带来一些麻烦，因为我正逆流而上，与大多数人的观点相左。

确实，我的观点与当前的许多观点不同，我认为人工智能在计算机上复制人类认知功能的目标是一种误导，该目标是不大可能获得成功的，并且还在很大程度上低估了计算机科学的潜能。相反，我认为，技术正在与人类共同进步，正在拓展我们的认知能力和体能，所有这些也使得我们能够培育、发展和传播技术。我们已经看到，人类与机器之间存在的互补性正在促进人类与机器共生、共同进化。

然而，本书的大部分内容都与现实情况相吻合，比如，技术的巨大潜力将改善我们的生活，这是人类对技术发展所持的乐观态度。除了强调技术对人类生活产生的积极效应，我在本书中要表达的主要观点之一是，工程学是一门极具创造性和智慧性的学科，它同艺术和自然科学一样是有趣的和有价值的。在技术不那么成熟的领域中，创造性更多地体现了创造者的个性、审美和特质。在比较成熟的领域，这项工作可能会变得极为技术性，对于外行来说，则是晦涩难懂的。然而，我们必须承认，这种情况在所有学科中都会出现，所以不足为奇。

与科学一样，工程学是建立在被广泛认可的范式之上的，是指导行动的思想框架。工程学与科学一样，用托马斯·库恩（1962）的话来说，工程学的发展也不时地被范式的转换打断。然而，与科学不同的是，工程学中范式的转换是频繁的，甚至是无情的。事实上，我认为，在我们目前的文化中，技术进步的速度实际上受到人类无法理解新范式的制约，而不是受到技术自身发展的限制。我希望本书能够清楚地解释其中的原因。

与艺术一样，工程学领域的发展也会受到文化、语言和思想交叉萌发的制约。也像艺术一样，工程学的成功或失败往往是由无形和不可解释的力量决定的，比如时尚和文化。在这一点上，工程学的发展几乎与艺术是一样的。就像艺术一样，一个新的发现可能会让许多读者感到惊讶不已。今天用来设计新的手工艺品和系统的创意媒体，尤其是数字媒体，其广泛的用途和丰富的表现力简直令人震惊。在我看来，数字媒体的多功能性和强大的表现力足以解释为什么该领域对优秀的年轻人具有如此大的吸引力。这种巨大的吸引力甚至超过了高收入的就业前景。

工程学是一个很宽广的领域，它从供水系统到社交网络软件，无所不包。任何人，包括我自己在内，对它下面那些子学科的理解都是相当肤浅的。因此，本书的论点主要基于我在电子、电气工程和计算机科学方面的有限经验。这些观点适用于数字和信息技术，也可能适用于其他技术，如桥梁和化工厂等。尽管如此，依据我的经验，数字技术已经渗透到几乎所有的工程学科中。例如，现代化的工厂大部分是由计算机控制和管理的，从而也就成为信息物理系统（CPS）的实例。本书的第6章对该内容进行了详细的讨论。这类系统无疑受到我在本书中所指出的数字技术的潜力、多变性和局限性的制约。

我假定读者是没有任何特定技术背景的。在本书的某些章节，我确实涉及了一些深层次的技术性话题，这些都是我内心深处最真切的感受，不吐不快。但是，我向读者保证，每次只不过是浅尝辄止。希望我所略掉的技术细节不会严重破坏我想要传递的信息。请读者稍稍有点儿耐心，坚持一下。类似这种技术呆子式的头脑风暴会很快过去的。

我的确假设您是一位了解计算机技术的读者。力排众议之后，我在书中保留了12个方程。要理解这些并非复杂的方程，高中数学和科学知识就足够了，即使不能完全理解它们，读者也能获取应有的信息。我的出版商用这个理由反驳我，说如果这是真的，我就应该删除它们。但是我喜欢它们，我有信心，现在了解计算机技术的读者比以前更多了。我已经向出版商保证，算上我的朋友和家人，几十本书的销量是可以保证的。

本书书名的灵感来自纳西姆·尼古拉斯·塔勒布精彩的著作《黑天鹅》。塔勒布给书的序言的一个部分取名为“柏拉图与愚人”。塔勒布把只关注那些纯粹而有明确定义的“模式”而导致的错误称为“柏拉图主义思维模式”。塔勒布哀叹随后的专业化发展趋势，并指出这种专业化使我们对不寻常的事件视而不见，他将不寻常的事件称为“黑天鹅”。跟随塔勒布的思想，本书中的一个主题是技术学科也容易受过度专业化的影响；每个专业都在不知不觉地采用范式，其将专业转化为一种缓慢发展的文化，其结果是阻碍而不是促进了技术的创新。

此外，本书的书名从根本上反对这样的认知，即技术是由独立于人类的柏拉图式的理想构成的，并且技术是由人类发现的。这一观点刚好与认为人类创造而不是发现知识和技术的观念背道而驰。书名中的技术呆子象征着主观的，甚至是古怪的创造性力量，而不是一个客观存在的真理的发现者。

我希望本书可以改变公众对工程学的偏见，使年轻人更倾向于考虑选择工程学方面的工作作为自己未来的职业，而不仅仅根据某个专业的就业前景规划自己的职业。我确信，工程学从根本上说是一门创造性的学科，而让许多人产生偏见的技术苦差事并不比任何其他创造性学科中的工作更为辛苦和乏味。是的，努力工作是必需的职业操守，但是，你在工程学上的努力付出一定会有回报的，那就是你可以改变这个世界。

内容概述

有些读者喜欢在读一本书之前就知道它的大致内容。抛开有问题的自指性1，对于这样的读者，我在这里特地提供了本书的简要概述。但是，坦率地说，我建议应该跳过这部分内容，直接从第1章开始阅读。因为本书要讲的故事是无法用几个段落准确概括的。任何类似的内容摘要都必然会使本书看起来比它实际的内容更为晦涩难懂。然而，对于那些真的需要内容提要的人来说，以下就是我对本书内容的总结。人们对技术和工程的普遍看法往往是这样的：这是一个缺少激情的领域，它由逻辑和枯燥乏味的事实与真理主导。在第1章，我探讨了技术中的事实和真理的概念，我认为这些事实和真理并不只是被人类发现的，实际上更多是被人类发明或设计出来的。技术不是建立在永恒的柏拉图式的理想之上的，而是建立在流动性更强且有时更为离奇的构思之上的。真理的概念变得更具主观性；集体的智慧比个人的智慧更完善；关于事实演变的描述要比事实本身更有趣；事实和真理可能都是错误的。然而，要证明事实为真，很有可能会花费数十亿美元的巨资。因此，我在这里提出这样的观点：工程学和科学都是建立在事实和真理基础之上的学科，二者相辅相成、相互重叠，且相互利用对方的方法。在这一章中，我试图理解工程学一直以来被视作科学的“小妹妹”的文化现象。

第2章的内容主要是研究发现与发明之间的关系。该章的一个关键主题是模型是被发明的，而不是被发现的。正是模型的有用性，而不是它们的真实性，赋予了它们价值。请读者注意，模型的有用性不一定是一种实用的、功利性的有用性。一个模型可能仅仅是因为解释或预测了观测结果就成为有用的模型，即使所观测到的现象并没有实际的应用价值。

当模型与正在被研究的自然系统相符时，该模型对科学家而言就是有用的。而当符合该模型的物理实现总是能被构建时，该模型对工程师而言就是有用的。实际上，这些用途是相互补充的，且常常被组合使用。

本书第2章的内容深受库恩（1962）思想的影响。但是，库恩关注的是科学，而不是工程学。模型的工程应用给模型的构建带来更大的创造性空间，因为这些模型无须与某些已存在的自然系统保持高度一致。但是，另一方面，模型的使用会减缓技术的变革，这是因为模型建立在使我们思想条框化的范式之上，会对我们的思维造成限制。模型也可能变得相当复杂，从而导致更多专业化的发展。

当然，模型也会因为跨专业沟通的不顺畅而发展缓慢。

在第3章，我深入探讨了模型的工程应用是如何激活创造力的。我通过说明模型在数字技术发展中所起的作用来做到这一点。在数字技术中，模型被层层叠加起来，每一层的设计都会影响上、下相邻层的设计。通过这种多重层次，数字技术已经从广泛的工程化系统中基本上消除了任何有意义的物理约束。每一层模型都与一个已建立的范式相符，这是一种建模和抽象工程化设计的方法。因此，创新并不受技术物理学的制约，而是受我们的想象力和吸收新范式的能力的影响。

我认为范式在数字技术中起着核心作用，因为没有它们，人类就不可能理解我们今天用常规方法所构建的系统的复杂性。但这些范式属于人类建筑，受到文化和语言的支配。在许多情况下，已经出现的范式显得有些不同寻常，因为它们反映了创造者的个性和审美标准。

数字技术的一个显著特点是，这些范式是层叠的。半导体物理学赋予我们制造晶体管的能力，我们可以使用晶体管作为电子控制开关，因为它具有两种截然不同的状态：“导通”和“截止”。这使得数字抽象成为可能，它只是许多层中的第一层，最终建立起使我们能够构建数据库、机器学习系统、网络服务器等的编程语言。这些层中的每一层都是通过聚集相互竞争的范式形成的。

在第4章，我探讨了构成当今大多数数字技术硬件的层次化范式。我将说明硬件的物理实体并非长久不变，但范式可以长久存在。这些硬件通常每隔几年就会被丢弃，因为它们已经被磨损殆尽，或者因过时被淘汰了。然而，硬件的设计原理以及它们所有的缺陷和特性仍会持续几十年。

在第5章，我将探讨构成当今大部分信息技术的层次化范式。

这些范式界定了我们是如何构造软件的。事实证明，软件比硬件的生命力要持久得多。范式就像人类的文化，变化缓慢，特别是当它与技术的变化速度相比时，就更是如此了。虽然从严格的意义上说，库恩的科学范式是人类构建的结果，但是软件的范式被编码在软件中。在自我参照的狂欢中，软件构建自己的脚手架。尽管软件是一种短暂的非实体性存在，但是软件的自我支撑使得它的生命力比硬件更持久。可以说，软件的寿命甚至可能超过人类的寿命。

第6章探讨了技术革命的结构，并特别聚焦于数字技术。这一章的内容同样深受库恩的影响，但主要是致力于找出技术革命与科学革命的不同之处。我认为，其中一个关键性的不同点就是，相较于科学范式的变化，技术范式的出现和消失速度要快得多。这可能是因为，技术范式相对而言不受物理世界的限制，而且是深度层叠的。与科学范式一样，新的技术范式并不一定必须取代旧范式。相反，它们可能会覆盖旧的平台，在现有平台的基础上构建新的平台。能否做到这一点取决于我在前三章中所探讨的模型的传递性。与科学范式不同的是，引发新技术范式的导火索并不是新出现的异常现象，而是日益增长的复杂性和技术驱动的新机遇。

为了不让读者对数字技术的发展过于乐观，接下来的几章将探讨什么是我们不能用数字技术来解决的，至少目前还不能。这就需要我先向读者解释一下20世纪出现的三个经典概念：香农的信息理论，丘奇—图灵论题，以及哥德尔关于形式化模型的不完备性。在后面的章节，我考虑继续探讨决定论的概念，并进一步研究我们如何利用概率的概念建立非确定性的模型。在探讨该问题的过程中，我需要面对20世纪出现的被称为数字物理学的另一个范式，以及人类认知就是软件的观点。

这一部分内容是从第7章开始的，在本章，我分析了信息的概念──信息是什么，以及如何测量信息。在这一章，我介绍了克劳德·香农的信息测量方法，并指出通常无法用数字化的方式表达他的信息概念。我定义了一个比现在用软件和计算机所能实现的用途更为宽泛的“信息处理机”。

在第8章我解释了软件不能做什么。我认为，信息处理函数的数量远远大于可能的计算机程序数量。在这一章，我介绍了艾伦·图灵的不可判定性研究结果，它表明存在一些有用的但当今计算机上的软件不能实现的信息处理函数。但这并不意味着，一个函数如果不能通过软件实现，它就不能通过其他任何机器来实现。

我希望大家不要被热情冲昏头脑，不要对软件已经取得的成就感到惊讶，也不要预言诸如认知和理解等自然现象在软件中是可以实现的。在这里，我不得不面对被一些人称为“数字物理学”的信念，即物理世界在某种程度上就是软件或相当于软件。我认为，作为理解物理世界的一种方式，这种想法不太可能是正确或有用的，至少在更极端的方式下是这样的，而且我认为这一论题是不可证伪的，因此是不科学的。

在第9章，我探讨的内容超越了可数的计算世界。我认为，计算机不是万能的机器，且它们真正的力量源于它们与人类的伙伴关系。在这一章，我解释了连续统的概念。这个概念超出了软件的范畴且被数字物理学排斥，但其似乎对物理世界的建模又必不可少。我分析了作为软件世界基础的形式化模型的局限性，同时我认为人类和计算机的共同进化与伙伴关系要比独立的两者都强大。在本章，我还解释了库尔特·哥德尔著名的不完备性定理，其对任何具有自引用能力的建模形式化方法设定了一些基本的限制。我们应该坚持谦逊的态度，但我们也需要认识到仍有巨大的开发潜力等待我们去发掘。

在第10章，我们讨论了决定论、软件的性质以及许多自然界的数学模型。我认为，确定性是模型的一种属性，而不是物理世界的属性。但它是一种极为宝贵的属性，在历史上为工程学和科学都带来了可观的回报。然而，决定论也有其局限性。由于混沌和复杂性，即便确定性的模型也可能无法被有效地预测。同时，包含离散功能和连续行为的确定性模型家族目前尚不完善。因此，我认为，决定论被瓦解是不可避免的，确定性模型有其局限性。在许多情况下，非确定性模型更为简单，也能够更好地反映出我们所不知道的东西。如果非确定性模型能被明智而审慎地使用，那么它将在工程学中起到至关重要的作用。

在第11章，我终于要直面随机性的含义及其度量，即概率了，它量化了非确定性事件的可能性。我认为，从根本上说，概率是一种关于事物不确定性的模型，而非事物的直接模型。它建模了我们不了解的东西。在本章中，我探究了频率学派和贝叶斯学派存在已久的争论，并坚定地支持贝叶斯学派。我认为，在使用工程学而不是科学意义上的模型，以及使用贝叶斯意义上的概率做出解释时，随机性所带来的哲学困扰就会消失。在这一章，我还重新思考了连续统问题，并认为连续统上的概率模型强化了数字物理学这一极不可能的结论。因此，在接受数字物理学之前，我们必须为其找到无可辩驳的证据。

在最后一章，我通过分析模型在技术中的认知作用，以及模型与它们最终建模的物理系统之间的关系，将所有这一切都联系在一起。我利用本书前面的论点，比如至少在数字技术中，模型和物理现实之间存在着许多抽象层，两者之间的联系的确变得非常脆弱。但是，如第5章所述，软件范式所具有的自支撑能力允许这些模型独立存在，允许它们几乎但不是完全独立于物理现实。我认为，这不会导致笛卡儿的身心二元论，但它确实强调了以极大的决心和约束坚持将地图与地域进行区分的必要性。尽管模型存在于物理世界中，但最好将其视为与物理世界分离的现实。

最具表现力的建模范式能够自引用，这使得它们能够不断构建支撑自身的脚手架，但同时必然使得它们是不完备的。从根本上讲，正是这种不完备性激发了创造力，并确保我们能够运用技术完成的事情是无限的。那么到底是什么因素阻碍了我们呢？在本章，我既分析了进步过程中存在的障碍，也指出技术应用不当可能给社会带来的威胁。