作者认为，人的知识由经验和逻辑两个层面构成。第一类知识是逻辑知识，可以通过分析得出新知识。下面是典型的逻辑知识：

1. 所有人都会死，苏格拉底是人，所以苏格拉底会死。

2. 根据勾股定理，直角三角形的三边关系满足x² + y² + = z²（其中x和y是两条直角边，z是斜边）。如果三角形的两条直角边长度分别是3和4，那么根据勾股定理可以得到z的长度是5。

另一类知识就是经验知识。经验通常是没有经过逻辑推理或者无法通过逻辑推理而根据过去的经验建立起来的知识。下面是两个过去的经验知识：

02 公理化的逻辑系统

上一节谈到了人类的经验知识是分层次的。我们总结一下苹果落地的两个层次。

• 第一个层次，因为我们看到苹果总是往下落地，没有往上飞过，所以我们认为苹果是落地的；

• 第二个层次，我们建立牛顿古典力学模型，因为物体受力要朝受力方向加速前进，所以苹果脱离树枝以后，受到地心引力作用要朝地表方向前进。

在这个层面，古典力学的很多模型的选择（例如，万有引力和距离平方成反比；再例如，不同参考系下，时间流逝是一样的）也是基于经验的。人类把知识一层层往上逻辑化到认知边界，依赖几个感性的假设便建立了一个认知体系。

很多伟大的科学家则从相反的角度来考虑：能否依赖几个基本的公理假设（感性选择）来建立整套认知体系？从欧几里得到希尔伯特，哲学、数学和物理学科的先贤们分别对几何知识和代数知识进行逻辑化。

在这个过程中，人类开始构想，能否让机器从几个公理和规则出发，通过计算推演列出所有人类知识？这一构想直接导致了以图灵机为代表的机器智能的产生。图灵在他的经典论文《论可计算数》中构造了一个机器（后人称为图灵机）来模仿人类数学工作者。

学术界普遍认为物理计算机的发明是受到图灵机的启发。冯·诺依曼等人在发明物理计算机后，给原本清贫的数学工作人员创造了高薪的编程岗位。今天的AI技术建立在计算机之上。从理论上讲，AI学科只是图灵机系统的一个模型化算法子集。

在这个子集里面讨论AI和人的关系必然是不完整的，所以在讨论AI和人的关系时，我们需要再往上追溯到公理化数学的过程。正是在这个过程中，邱奇、图灵和哥德尔等人对于机器和人的探讨远比今天大众对这个话题的讨论深入。

第一个建立公理化的逻辑系统是欧几里得的《几何原本》。如果追溯到数学的源头，欧几里得是个不得不提的人。他的著作《几何原本》对于人类影响非常深刻，据说《几何原本》在西方的发行量仅次于《圣经》。欧几里得的整个几何体系建立在如下5条公理之上：

1. 过相异两点，能作且只能作一直线（直线公理）。

2. 线段（有限直线）可以任意地延长。

3. 以任一点为圆心、任意长为半径，可作一个圆（圆公理）。

4. 凡是直角都相等（角公理）。

5. 两直线被第三条直线所截，如果同侧两内角和小于两个直角，则两直线会在该侧相交（平行公理）。

其中，第五条公理可以用另一种方式表述为：在一平面内，过直线外一点，可作且只可作一条直线与此直线平行。

欧几里得平面几何（欧氏几何）的所有定理可以最终追溯到这五个公理，所以这五个公理构成了欧氏几何的边界。作者在开始学习这些公理的时候也难以理解边界这个问题，后来也就放弃追问欧几里得为何如此定义这五个公理。

后来我才知道，很多学霸都不喜欢欧几里得的看上去像“主观臆断”定义出来的第五公理。其中，俄罗斯人罗巴切夫斯基（后面简称罗氏）认为第五公理应该可以通过前面四个公理推导出来。

为了推导这个公理，罗氏使用了反证法。在反证法中的第一步，他假设“过直线外一点有两条平行线”，然后试图通过这个反证假设来结合前面4条公理推导出逻辑矛盾。如果推导出矛盾，那么假设错误。

但是，罗氏基于他的假设并没有推导出任何矛盾，反而推导出一个和欧氏几何完全平行的几何体系——罗氏几何体系，也就是双曲几何。为帮助读者直观地理解罗氏双曲几何，图1-10给出了一个图形，这是一个三角形位于一个双曲抛物面上，另外右下方有两条在欧氏几何中应平行的分流线。

罗氏几何体系完全不同于欧式几何，开创了非欧几何的先河。一方面，这意味着欧几里得的选择并不是随意的，他必须选择第五公理才能建立起欧氏几何体系。另一方面，这也意味着罗氏可能惹上了和哥白尼一样的大麻烦。

罗氏理论标志着两个几何世界的出现：一个是欧氏几何描述的方方正正的世界，另外一个是罗氏几何描述的弯弯曲曲的世界。由于颠覆了当时大众广为认知的体系，罗氏的理论因此遭到很多非议，他个人也遭受了很多不公正待遇。

这时，罗氏向另外一位学霸、有“数学王子”之称的高斯求助，希望高斯能够公开支持他的理论。高斯虽然提供了很多力所能及的帮助，但是最终没有公开站出来支持多个几何体系的存在。尽管高斯自己也感觉到第五公理的选择不是唯一的，但是他深知公众面对具有颠覆性的新事物时的恐惧。

Tips：这里插一句，其实某种程度上今天对于AI的恐惧也只是历史重现。

罗氏的晚年在不幸中度过，他的理论一直没有公开得到支持。直到1868年，意大利数学家贝尔特拉米发表了一篇著名论文《非欧几何解释的尝试》，证明非欧几何可以在欧几里得空间的曲面（例如拟球曲，pseudosphere）上实现。也就是说，非欧几何命题可以“翻译”成相应的欧氏几何命题，如果欧氏几何没有矛盾，非欧几何也自然没有矛盾。

直到这时，长期无人问津的非欧几何才开始获得学术界的普遍关注并被深入研究，罗巴切夫斯基的独创性研究也由此得到学术界的高度评价和一致赞美，他本人则被后人赞誉为“几何学中的哥白尼”。

自贝尔特拉米解除了非欧几何的束缚以后，来自德国哥廷根大学的高斯和黎曼对非欧几何进行了大刀阔斧的拓展。黎曼对于欧式几何的第五公理做了另外一个相反的假定：过直线外一点，不能做直线和已知直线不相交。由此产生了非欧几何的另一个分支—椭圆几何。

关于高斯和黎曼在非欧几何领域的突破性进展，可以参考陈省身先生1987年发表的演讲《什么是几何学》。

总结来说，通过对欧几里得第五公理做出的不同假设，最终衍生出三种逻辑自洽的几何学：罗氏几何、欧式几何和黎曼几何。在三种几何中，垂直于同一线段的两条直线如图1-11所示。

▲图1-11 三种几何中垂直于同一线段的两条直线的图像，来源：维基百科

到这里，读者可能会问：计算机（人工智能）和几何有何关系？因为非欧几何的公理化体系的讨论，激发了自然数算数体系公理化的类似讨论，从而推动图灵机定义的出现。这里我们还要介绍哥廷根大学的另外一位学霸——希尔伯特。

在高斯和黎曼之后，非欧几何在哥廷根大学盛行，影响了不少数学家。哥廷根大学迎来了希尔伯特，希尔伯特提出了公理化几何体系并出版了《几何基础》。整个体系从一组公理出发，层层推导。希尔伯特的公理化方式也标志着数学方式开始转移到现代的公理系统。

公理系统可以摆脱现实世界，就像非欧几何的不同第五公理可以创造出不同于生活直觉的几何世界。如果说几何学是探讨几何元素的关系，那么点、直线、平面等可以用桌子、椅子等物体所取代。更为重要的是，在希尔伯特的概念里面，一个从公理系统构造出来的完整的数学系统应该具有以下特性：

• 独立性：系统里的各个公理相互独立，任何一个公理都不能从其他公理推导出来。例如欧几里得的第五公理并不能从其他四个公理推导出来。

• 一致性：从公理出发，不能推导出两个互相矛盾的定理。假设B是A的反命题，则不能从公理系统中同时推导出A和B成立。

• 完备性：从公理出发，可以推导出所有真命题。假设B和A是反命题，但是从公理系统不能证明A或者B，那么系统是不完备的。因为A和它的反命题都可能是正确的，不完备的系统像知识世界存在黑洞一样，让人不安。

• 可判定性：即给定一个数学命题，是否可以从公理出发，通过有限计算步骤来判定这个命题的可证明性。这个可以列举的计算步骤就是现在所说的算法（Algorithm）。

完备性和可判定性可能会让人混淆。如果一个系统是不完备的，那么存在命题不可被证明。可判断性则探讨是否能找到一个步骤，计算出一个命题能否被证明。

希尔伯特的伟大之处在于使公理化系统的思考方法影响到代数体系。在1900年8月举行的国际数学家大会上，希尔伯特将可判定性问题列为当时数学面临的23个问题中的第10位。

这个问题被描述为：“是否可以推导出一个过程（算法），通过有限步骤判定不定方程（也叫丢番图方程）是否存在有整数解的命题？”

希尔伯特的座右铭是“我们必须知道，我们必将知道。”因此，在他眼里，无论不定方程是否有解，都应该存在一个判定过程来判定它是否可以被证明。

例如，费马方程xⁿ + yⁿ = zⁿ作为一种特定形式的不定方程，在数学家们试图证明命题“费马方程在自然数n > 2的情况下不存在整数解”之前，希望有个判定过程（算法）来判定它是否可以被证明。

事实上，费马定理的证明花费了数学家300年的努力，幸运的是它是可证明的。从费马定理证明史这个例子可以看到，代数命题通用判定过程（算法）的意义重大。要讨论通用的可判定性，首先需要清晰地定义什么是算法。为此，邱奇和图灵分别提出了不同构造和定义。图灵构造了图灵机，算法就定义在图灵机的操作之上。

《从图灵机、图灵测试到人工智能：什么决定了AI能否取代人类？》讨论了图灵构造图灵机的过程，但是很遗憾，图灵也证明了基于自然数算术的公理化体系的通用判断过程并不存在。

延伸阅读《Greenplum：从大数据战略到实现》

「大数据」内容合伙人之「鉴书小分队」上线啦！

最近，你都在读什么书？有哪些心得体会想要跟大家分享？

数据叔最近搞了个大事——联合优质图书出版商机械工业出版社华章公司发起鉴书活动。

简单说就是：你可以免费读新书，你可以免费读新书的同时，顺手码一篇读书笔记就行。详情请在大数据公众号后台对话框回复合伙人查看。

• 玩数据必备Python库：Numpy使用详解

• 数据分析与数据化运营的关键知识点，全在这里了

• 如何在 Apache Flink 中使用 Python API？

• 解读人工智能、大数据和云计算的关系，大佬们赌AI竟都输了？

更多精彩?

PPT | 报告 | 读书 | 书单 | 干货 

大数据 | 揭秘 | Python | 可视化

AI | 人工智能 | 5G | 区块链

机器学习 | 深度学习 | 神经网络

合伙人 | 1024 | 段子 | 数学 | 高考