会有一个超级人工智能系统吗？人工智能做不了哪些事情？《量子大唠嗑》作者马兆远新作，让我们以人工智能的逻辑，推演出人的不可取代

书名：人工智能之不能

作者：马兆远 著

定价：58.00

页码：403

出版时间：2020年2月

书号：9787521713794

1.对人工智能未来的严谨预判，有理有据，知识性强。人工智能会超越人类吗？在未来的300年内，人工智能恐怕都无法超越人类。通过回顾上100年物理学的进展和量子力学的发展，对人与人工智能的关系做出了严肃思考，从而得出300年这一预判。

2.讨论人工智能有哪些“不能”，观点新颖，丝丝入扣。作者从基本语言切入，延伸到科学的基本逻辑与理性的有限性，从而动摇了逻辑机器的根基，告诉读者人工智能做不了哪些事情。并通过对哥德尔不完备定理和量子物理的阐释，让读者能够认识到人对宇宙的探索本质上是无穷的，人之所以为人的具有强烈的不可取代性。

3.跨界思考，切入视角与众不同。作者结合自己物理学的学术背景，以及业余话剧导演、划艇运动员、创业者、自由投资人等多重身份，《人工智能之不能》既有数理上的丝丝入扣的分析，也有人文视角的人理思考，是不可多得的综合讨论人工智能的优质作品。

4.《量子大唠嗑》作者马兆远新作，《人工智能之不能》没有天才的狂想，也没有疯子的诳语，而是一名科学工作者对人工智能正本清源的深度思考。读者在跟随作者思路思考的过程中，就会明白人工智能并不是我们在风口和泡沫中看到的那样。

会存在一个超级人工智能系统吗？这本书给了我们一个答案：不会。

这本书不局限于技术层面，而是回顾了上100年物理学和数学的进展，通过对量子力学、时间、虫洞等概念的轻松解读，从顶层逻辑、原理层面等本源性知识上探讨了人工智能做不了的事情，对完美、通用的人工智能判了“死刑”，最后落脚在怎样培养适应人工智能共生时代的新人类，以及人类对宇宙的探索本质上无穷尽的现状上。

作者以深厚的学术功底，贯通社会科学和自然科学，从数学和逻辑本身论证了人工智能无法取代人类。作者认为，从务实主义的角度看，我们仍可以致力于促进人工智能进步，但不能盲目崇拜机器，甚至忽视了人的智能优势——毕竟，有些真理我们能够认识到，但不能为算法所描述。

胡适说：“怕什么真理无穷，进一步有进一步的欢喜。”通过这本书，我们可以获得对人工智能正本清源的新认识，同时可以更好地思考，在这不可逆的人工智能进阶过程中，我们如何去驾驭自己的发明，实现人类的智能进阶。

前 言 VII

第一章 知无不言

语言是可以理解的吗？ 006

语言是可靠的吗？ 009

第二章 基本的逻辑

同一律 024

矛盾律 025

排中律 027

充足理由律 029

逻辑和佛性 033

逻辑的自洽和完备 040

构建一个知识体系 044

第三章 理性的终极理想

直觉？ 051

时间 057

算术系统 063

集合定义自然数 069

第四章 伟大的聊天

话题之一：量子力学 087

话题二：时间和相对论 091

话题三：关于理性主义真理 094

哥德尔的一生 098

第五章 哥德尔不完备定理

理性的知识系统 103

终极理性的梦想 105

理性的典范：算术 109

语义和语法 115

哥德尔不完备定理的证明 125

对角线证明法 135

第六章 哥德尔问题的延伸

真理不能被语言描述 147

真理不能够自证其真 153

哥德尔不完备定理是理性的边界吗？ 162

哥德尔的理性主义 172

意识和梦境 184

第七章 人工智能的不能

深度学习 189

超越有限系统 194

图灵机 202

图灵机所不能够 217

常识？ 238

学习 245

第八章 沿着不完备而生长的物理学

落体悖论 258

光速问题 260

孪生子悖论 263

质量问题 266

夜空为什么是暗的？ 274

麦克斯韦妖的悖论 279

紫外灾难 281

量子纠缠的悖论 283

第九章 量子力学的完备性

量子力学和哥德尔：经典逻辑之外？ 289

海森堡不确定性原理 292

什么是量子计算机？ 294

量子算法 305

量子计算的复杂性 308

更高一级的逻辑？ 312

第十章 物理和数学：自然与认知的边界

数学的不能 317

乐观主义者和悲观主义者 322

世界观和认知习惯的改变 335

第十一章 创新和突破

贴了标签的人生 349

问题导向的学习 354

新工程教育 356

第十二章 不是结尾的结尾

后 记 387

马兆远何许人也？

1997年通过全国物理奥林匹克竞赛报送北京大学物理学院；

25岁获得牛津大学物理学博士学位，师从“超冷原子之父”、英国皇家科学院院士Keith Burnett爵士；

美国国家标准局、加州大学伯克利分销博士后，师从“激光冷却之父”William Phillips（1997年诺贝尔物理学奖获得者）；

30岁入选中学院百人计划研究院、博导，为中国空间站“天宫四号”设计了世界第一个空间冷原子实验平台。

现任清华大学未来实验室首席研究员，数字化先进制造中心主任，英国谢菲尔德大学智能专业终身教授。

著有《量子大唠嗑》。

序言

回归常识的科学

我们急于求成地把科学当作了魔法，总希望找到窍门而毕其功于一役，一蹴而就地解决所有问题。可惜现实并非如此，每一寸进步都是日拱一卒的努力和各种不确定的叠加，我们只是日复一日、见招拆招地解决具体的一个又一个问题。对于科学本身也一样，我们希望找到一个通用的工具和方法，利用这样的方法让自然世界的规律自动地呈现出来，这样人类就可以坐享其成。但这样的方法存在着潜在的危险：如果“它”可以替我们自动地发现世界的规律的话，那么“它”便可以替代我们。不幸的是，但也可以说是一种幸运，我们会发现，劳您大驾，“您”还得在。就目前而言，我们恐怕比较容易实现的是探寻一个能告诉我们“为什么世界是我们现在的样子”的工具。倘若有与我们平行的地外文明，这个工具也许能回答“他们为什么没有比我们强大更多”这一问题。当然我们可以有这样那样的猜想，但这些猜想不会带给我们任何的进步，因为多少年来我们的先祖都是这么做的。没法儿验证的想法事实上是没有什么价值的，你可以这样想，也可以那样想。现代科学发展的重要性在于我们终于可以用朴实的办法来验证哪些想法是可靠的，哪些想法是正确的，哪些想法是错误的，并且基于这些想法可以延伸出新的想法，从而一步一步搭建稳定的知识体系。

对于胡适研究《水经注》，有人批评说做偏门学问是因为他要走成为大师的捷径。这样说就把胡适看小了，在我看来，胡适是要拿《水经注》为题，做一个用现代研究方法做学问的样板。这本书里在讲的哥德尔，也正是这样的一个例子。从两千年前古希腊的亚里士多德建立系统的理性工具开始，人们就已经发现了理性逻辑里的问题，所谓的“说谎者悖论”和“这句话是错的”这样的陈述会让逻辑陷入模棱两不可的境地。但直到两千年后，才有人站出来用严谨的理性工具证明这个悖论事实上指向了人类理性的灾难。这个人便是哥德尔。从他的工作开始，我们开始意识到用理性工具认识世界带给我们的局限。而正是从他的工作开始，我们也意识到问题比想象中的更严重。

   糟糕的是，我们这个历史悠久的文明对现代科学的认知有断层。

   第一个断层在于“名教”与经典科学的断层。今天我们虽然发现经典科学有这样那样的问题及尚未解释的现象，但至少它有敢于面对问题的态度，它小心翼翼地用于系统求证的方法是可靠的。然而我们这个古老的文明总会有种近似于神秘色彩的了解知识的态度。胡适在《名教》一文中延续了冯友兰的说法：“名”即是文字，写的字。“名教”便是崇拜文字的宗教，它相信我们写下的文字像符箓一样有神魔之力。在很长一段时间内，我们做学问求知识便是如此，像巫师一样地创造新名词，念咒一样地理解新知识，而听众往往这样就满意了，囫囵地拿去自己接着演绎。这样的方法和态度对现代科学的传播毫无益处，甚至打着科学的名义行反科学之实。降维打击、混沌大学、奇点理论、未来简史和所谓人类 3.0 莫不如此，这些名词能够有广泛受众，莫不与“名教”和现代科学的断层有关，是这个文明还没有进入现代的实证。钱钟书的《围城》中对这种怪象有个经典的总结：喝着咖啡聊梅毒。

在胡适这一代人为这个文明的现代化艰难努力的同时，人类对世界的科学认知已经渡过了第二个断层。20 世纪初，在人们以为物理和数学都在凯歌高奏走向认识宇宙和人类自身的终极胜利的时候，量子力学和哥德尔不完备定理几乎在同一时间告诉我们人类认知的有限：要认识宇宙和人类自己，前面的路还很长很长，甚至可能根本没有终点。这也许同时在告诉我们，为什么感性的认知总是存在的，为什么人类把认知统一到同一标准下的努力至今都还没成功，以及为什么这几千年来人们对真理的追求似乎总差那么一点点，而每次又正是这一点点把我们引向一个完全的新世界。这也解释了为什么 20 世纪初美国教育家、哲学家杜威（John Dewey）和胡适所主张的务实主义具有合理性。但敌人的敌人未必是你的朋友，虽然新的理论解释了经典认知的不足，但它绝不是肯定古代神学和“名教”存在的意义，它是一个完全不同的新世界。

人工智能是这里的一个例子。事实上非要回溯历史的话，竟然是人类先发现了它做不了的事，而后才发明了它。图灵 1936 年的那篇著名的论文是对哥德尔不完备定理的诠释，他提出了一个更加简明而物理上可以实现的机械设备来完成数学的逻辑推演，并在文中指出了哪些问题是图灵机做不了的，以此来拓展哥德尔的不完备定理证明。但图灵机是如此的强大和成功，那些“它做不了的事情”很快就被淹没在故纸堆里，那里，正埋着我们对付探求人工智能的不能的钥匙。

哥德尔的被遗忘，是现代科研游戏规则的直接后果。一个不申请经费、没有徒子徒孙的学问，如何能影响深远、众人周知呢？在今天的科研环境下，绝无可能啊！而不用申请经费也不用带学生正是普林斯顿高等研究院对第一批研究员的放纵。作为这些人中的两个典型代表，爱因斯坦和哥德尔是天真地相信了。在全球最近几十年以论文发表量来衡量学术工作是否有价值，学者是否有地位的评价体系下，即使哥德尔这样一个开辟了一个领域的大神，他的思想也是无法存活和传播的。他和他的好友爱因斯坦，像堂吉诃德一般成为科学殿堂里最后的骑士了。

于是我觉得我应该写一些文字，向这些人类历史上的伟大思考者致敬。即使我自己对这门学问的认知还有很多的不成熟之处，但至少我希望它可以安抚我们面对未来的焦虑之心。当能够回溯认知的常识时，我们会发现竟然可以有更加平和的理解世界的态度。学问之道无他，求其放心而已矣。

燕园、清华园和伊河边上的小城牛津，我在象牙塔里进进出出，结识了很多好玩的人。光说姓李的，就有给我机会初试科研的李政道先生，有塑造我务实主义信条的李敖先生，有让我感受到音乐创造魅力的大哥李宗盛。跟越多的人交往，我越感觉到人类的可爱和伟大，这么好的世界，我们怎么忍心交给机器呢。