全新正版人工智能之不能9787521713794中信出版社

前 言 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
常识？
学习 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世纪初美教育、哲学家杜威（JohnDewey）和胡适所主张的务实主义具有合理。但敌人的敌人未必是你的朋友，虽然新的理论解释了经典认知的不足，但它绝不是肯定古代神学和“名教”存在的意义，它是一个完全不同的新世界。
人工智能是这里的一个例子。事实上非要回溯历史的话，竟然是人类先发现了它做不了的事，而后才发明了它。图灵1936年的那篇著名的是对哥德尔不完备定理的诠释，他提出了一个更加简明而物理上可以实现的机械设备来完成数学的逻辑推演，并在文中指出了哪些问题是图灵机做不了的，以此来拓展哥德尔的不完备定理明。但图灵机是如此的强大和成功，那些“它做不了的事情”很快就被淹没在故纸堆里，那里，正埋着我们对付探求人工智能的不能的钥匙。
哥德尔的被遗忘，是现代科研游戏规则的直接后果。一个不申请经费、没有徒子徒孙的学问，如何能影响深远、众人周知呢？在今天的科研环境下，可能啊！而不用申请经费也不用带学生正是普林斯顿高等研究院对批研究员的放纵。作为这些人中的两个典型代表，爱因斯坦和哥德尔是天地信了。在近几十年以发表量来衡量学术工作有价值，学者有地位的评价体系下，即使哥德尔这样一个开辟了一个领域的大神，他的思想也是无法存活和传播的。他和他的好友爱因斯坦，像堂吉诃德一般成为科学殿堂里的骑士了。
于是我觉得我应该写一些文字，向这些人类历的伟大思考者致敬。即使我自己对这门学问的认知还有很多的不成熟之处，但至少我希望它可以安抚我们面对未来的焦虑之心。当能够回溯认知的常识时，我们会发现竟然可以有更加平和的理解世界的态度。学问之道无他，求其放心而已矣。
燕园、清华园和伊河边上的小城牛津，我在象牙塔里进进出出，结识了很多好玩的人。光说姓李的，就有给我机会初试科研的李政道先生，有塑造我务实主义信条的先生，有让我感受到音乐创造魅力的大哥李宗盛。跟越多的人交往，我越感觉到人类的可爱和伟大，这么好的世界，我们怎么忍心交给机器呢？

1、人工智能吗？人类会被取代吗？本书作者马兆远，量子物理领域科学家，用通俗易懂的语言，为你梳理人工智能的产生逻辑，用专业严谨的知识帮你发现人类不可取代的价值。
2、为什么要阅读这本书？本书用深入浅出的文字告诉你，人工智能能做什么，以及不能做什么，为人类未来厘清方向，也为你的工作、以及人生发展方向提供帮，如何选中不会被人工智能淘汰的行业。
3、作者运用其专业知识从科学的根本逻辑出发，通过对理问题和不完 备问题丝丝入扣地剖析，对人机共生的关系进行了深度、冷静的讨论，让你可以从务实主义的角度来理地思考人工智能的未来。
4、本书作者马兆远，师从英皇科学院院士Keith Burnett爵士和诺贝尔奖物理学奖获得者William Philli，受过正统的物理训练，现为清华大学未来实验室首席研究员。本书有理有术，并不局限于数理层面，也提出了新人类该怎么做的具体实践和人文思考。