深度长文：数学是人类的发明，还是发现？（近一万字）|亚里士多德|宇宙|数学家|柏拉图|深度长文|牛顿

数学，根本不是自然的一部分。

有人肯定提出质疑：开什么玩笑？勾股定理不管有没有人类都成立吧？圆周率 π 就算外星人来了也得是 3.1415926…… 吧？数学明明是宇宙自带的底层规律，人类只是碰巧发现了它，怎么敢说它不是自然的一部分？

确实，在绝大多数人的直觉里，数学就像埋在地底的金矿，亘古以来就静静躺在那里，数学家的工作不过是拿着锄头一点点挖出来而已。

牛顿发现了微积分，就像哥伦布发现了新大陆，东西本来就在那儿，只是之前没人找到罢了。

但是，如果你顺着数学的发展历史往回倒，一直倒到两千多年前的古希腊海岸，再顺着时间线一路摸到现代数学的大门前，就会发现：数学的真相，远比 “发现” 两个字要复杂得多。

简单说：远古人类的数学，大多是对自然的观察和总结，说是 “发现” 没毛病；但从古希腊人把 “逻辑证明” 正式搬进数学的那一天起，数学家就开始亲手创造一个又一个自然宇宙里根本不存在的东西。

两千多年下来，这个被人类凭空造出来的数学世界，已经庞大、丰富到远远超越了我们真实生存的这个宇宙。

文艺复兴三杰之一拉斐尔的名画《雅典学院》里，柏拉图、亚里士多德身着长袍站在大厅正中，

毕达哥拉斯伏案演算，欧几里得手持圆规作图，那群聚在一起的古希腊先贤可能自己都没想到：他们手里的圆规和直尺，不光画出了三角形和圆形，更给人类凿开了一扇通往新世界的大门。

在那个世界里，人类的思想第一次彻底挣脱了自然物理的束缚，第一次真正在逻辑层面做到了 “人定胜天”。而正是这个看不见摸不着的世界，后来推着科学、技术一路狂奔，把人类文明拽进了高速发展的快车道。

而对于“数学是发明还是发现” 这个问题，吵了几千年都没吵出统一答案，很大一个原因就是：吵架的双方，连 “什么是发明、什么是发现” 的定义都没对齐。

鸡同鸭讲，当然吵不出结果。

我们先拿两个毫无争议的例子定个标准：

科学家发现了微观粒子，而不是发明了微观粒子。粒子本来就在宇宙里，不管人类找不找得到，它都存在。

殷商时代的古人发明了甲骨文，而不是发现了甲骨文。字是人造出来的，没有人类就没有文字。

通过这两个例子，我们很容易达成一个共识：发现，是人类在自然宇宙里找到了以前没见过、但本来就存在的事物；发明，是人类创造出了自然宇宙里以前不存在、没人造就永远不会出现的事物。

如果拿这个定义去套数学，很多人第一反应是：那数学肯定是发现啊！勾股定理又不是谁造出来的，直角三角形本来就满足这个规律。

别急，我们再往下想一层：数学里只有规律吗？那些定义、符号、规则体系，也是本来就有的吗？

比如 “点没有大小”“线没有宽度”“面没有厚度”，这些几何里最基础的定义，自然里存在吗？比如 “+、-、×、÷” 这些运算符号，比如阿拉伯数字，是自然里长出来的？比如 “虚数”“无穷大”“n 维空间” 这些概念，你能在宇宙里找到对应的实物吗？

你看，一旦把 “数学” 拆成 “规律” 和 “规则 / 概念 / 符号” 两部分，事情就没那么简单了。

如果严格按照刚才的定义，数学里的所有定义、符号、规则体系，全都是人类的发明，是自然宇宙里本来没有的东西。

这么说的话，难道结论就是：数学是人类的发明，而不是发现？

当然没这么简单。要是一句话就能讲完，也不值得吵几千年了。

很多人对宇宙有个天然错觉：宇宙是无穷大的，时间是无穷久的，物质是无穷多的。但这只是我们的想象。随着天文学观测能力越来越强，科学家发现：我们生活的这个自然宇宙，其实是 “有限” 的，而且比很多人想象的要 “小” 得多。

怎么个有限法？

从时间上说，宇宙有个起点，就是我们常说的 “大爆炸”，算下来宇宙的年龄大概 138 亿年，不是无限往前追溯的；

从空间上说，可观测宇宙的直径大概 930 亿光年，再往外的地方，光永远传不到地球，我们永远也观测不到；从物质上说，整个可观测宇宙里所有普通物质的质量，加起来大概是 1.45×10^53 千克，这个数字大到没法想象，但它终究是个有限的数字，不是无穷。

至于宇宙为什么是有限的，这背后是一段非常精彩的科学史，从牛顿的无限宇宙悖论，到奥伯斯佯谬，再到哈勃发现星系红移，最后到宇宙微波背景辐射的发现，一步步推翻了 “无限宇宙” 的直觉。

说回正题：我们这个自然宇宙，时间、空间、物质、能量全都是有限的。

换句话说，自然里根本不存在 “无穷” 这个东西。

你可能会说：不对啊，时间不是一直往前走吗？怎么会有限？注意，我们说的是 “到目前为止的自然宇宙是有限的”，而且哪怕再过一亿年、一万亿年，它的总年龄也还是个有限的数字，永远达不到 “无穷久”。无穷是个永远到不了的终点，只存在于概念里。

还有人说：物质可以无限分割啊，一块木头切一半，再切一半，永远能切下去，这不就是无穷小吗？

还真不行。

在物理世界里，分割是有极限的，到了普朗克长度（大概 10^-35 米）这个尺度，空间本身的物理规律就失效了，再往下 “切” 没有任何物理意义。自然里没有无限小，也没有无限可分。

说白了，“无穷” 这个东西，从头到尾都只存在于人类的想象里，自然宇宙里根本找不到对应物。

但有意思的来了：在数学的世界里，“无穷” 几乎是家常便饭，遍地都是。

最简单的，分数 1/3，写成小数就是 0.3333…… 后面跟着无穷多个 3，永远写不完；我们最熟悉的圆周率 π，是个无限不循环小数，小数点后面的数字没有规律，也没有尽头；就连我们数自然数，1、2、3、4…… 一直数下去，永远数不到头，自然数的个数就是无穷多的。

你别觉得 “无穷” 只是个数学游戏，它的威力大到你难以想象。

就拿 π 来说，人类现在已经把 π 算到了小数点后几十万亿位，但这连 π 的 “零头” 都算不上。为什么不接着往下算了？不是不想算，是算不动。

不管是超级计算机还是人脑，计算都要消耗能量和时间，存储数据都要占用物质和空间。而我们刚才说了，宇宙里的能量、物质、时间、空间全都是有限的。

换句话说，就算人类把整个宇宙的所有物质都拿来做硬盘，把所有能量都拿来供电，算到宇宙毁灭的那一天，也不可能把 π 的最后一位算出来，甚至连 “多算一位” 的尽头都看不到。

仅仅是数学世界里一个随处可见的常数，就能耗尽整个自然宇宙的全部资源。这还不够说明问题吗？

更有意思的是，数学家不光发明了 “无穷”，还发明了 “无穷的等级”。有的无穷，比另外一些无穷更大。比如所有自然数的个数是无穷多，所有实数的个数也是无穷多，但实数的无穷，要比自然数的无穷大得多。

大到什么程度？

如果把所有自然数铺在地上，实数随便拿出来一小段，里面的数字都比全体自然数还要多。

这个结论是数学家康托尔在一百多年前用 “对角线法” 证明出来的。

刚提出来的时候，整个数学界都炸锅了，很多数学家骂他是疯子，说 “无穷就是无穷，怎么还能分大小？” 康托尔因为自己的理论长期被质疑、被攻击，晚年患上了严重的精神疾病，最后死在了精神病院里。

但现在，“无穷分等级” 已经是数学里的基础常识了。

你看，这些五花八门的无穷，全都是人类在数学世界里证明、创造出来的新概念。它们在自然宇宙里不存在，在现实里找不到对应物，是人类在观察自然、思考自然之后，在头脑里重新发明出来的新事物。

换句话说：数学世界和自然世界，根本就是两个截然不同的世界。数学，是人类亲手创造出来的一个全新宇宙。

而正是 “无穷”，让数学凌驾于所有科学之上。

很多人不知道，数学和 “无穷” 正式绑定，是从两千多年前的古希腊开始的。在那之前，古巴比伦、古埃及、古中国的古代文明，也都发展出了不错的数学。

比如古巴比伦人在泥板上记下了勾股数，古埃及人用绳子打结来丈量土地、建造金字塔，我们中国的《九章算术》里也有大量的面积、体积计算方法。

但这些古代数学，本质上都是 “实用工具”，是从生活里总结出来的规律。

比如测了一百块直角三角形的田地，发现两条直角边的平方和等于斜边的平方，那就把这个规律记下来，下次算田地面积直接用。

这种从大量例子里总结规律的方法，叫 “归纳法”。归纳出来的规律，我们叫 “定律”。

定律有个问题：它永远只能保证 “目前见过的都符合”，保证不了 “所有的都符合”。你见了一百只天鹅是白的，也不能说所有天鹅都是白的，说不定哪天就冒出一只黑的。所以古代的数学，更偏向于 “发现”，发现自然里的数量和图形规律，拿来用就行。

转折点出现在公元前 6 世纪的古希腊。泰勒斯证明了第一个数学定理，泰勒斯定理；和他同时代的毕达哥拉斯，则用逻辑推理的方式，严格证明了勾股定理，还建立了人类历史上第一个数学学派。

你可能会说：不就是证明了勾股定理吗？至于这么大费周章？

至于，太至于了。

毕达哥拉斯证明的，不是 “我见过的直角三角形都符合这个规律”，而是 “所有的直角三角形，全部都符合这个规律”。

注意这个词：所有。

这意味着什么？意味着哪怕是宇宙尽头的一个直角三角形，哪怕是一百万年后才画出来的直角三角形，哪怕是你做梦梦到的直角三角形，只要它是直角三角形，就一定满足勾股定理。

这就是 “演绎推理” 的威力。它从几条确定的前提出发，通过逻辑一步步推导，得出的结论对无穷多个案例都成立，不存在例外。而 “无穷”，就是从这一刻起，正式住进了数学里。

也是从这一刻起，“定律” 和 “定理” 有了天壤之别。

定律是归纳出来的，是有限经验的总结，将来随时可能出现例外，被改写、被推翻。就像牛顿力学用了几百年，最后还是被相对论和量子力学修正了；定理是演绎出来的，是逻辑的必然，一旦被证明，就永远不会错，永远不会被推翻。哪怕再过一亿年，勾股定理在欧几里得几何里还是成立的。

这就是为什么毕达哥拉斯和泰勒斯被称为 “第一位数学家”，而更早的古巴比伦、古埃及数学家得不到这个头衔。因为他们把数学从 “经验总结” 变成了 “逻辑演绎”，把数学从 “发现规律” 变成了 “发明体系”。

毕达哥拉斯之前的数学家，更多是在自然里发现规律，他们的数学跳不出自然的边界；毕达哥拉斯之后的数学家，通过演绎和无穷，定义了一个又一个超越自然的概念，数学从此开始一路狂奔，越来越多的是发明，越来越少的是发现。

这是人类思想史上划时代的一刻。古希腊人用逻辑凿开了一个无穷的新世界，而数学也从此开始，凌驾于其他所有科学之上。

“数学王子” 高斯说过：“数学是科学的皇后。”

爱因斯坦也说过几乎一模一样的话： “数学之所以享有超越其他所有科学的特殊地位，是因为数学中的法则是绝对确定和无可质疑的，而其他科学的法则则在某种程度上都是可争论的，并且随时有被新发现的事实推翻的危险。”

说白了，其他所有自然科学，研究的都是我们这个有限的自然宇宙，结论永远是暂时的、可修正的；只有数学，研究的是人类发明的无穷世界，结论是绝对的、永恒的。

数学家赫尔曼・外尔还有一句更精准的话： “数学被称为关于无穷的科学。的确，数学家发明了有限的构造，通过这些构造去解决那些本质上关乎无穷的问题。”

这句话前半句好理解，后半句是什么意思？我们拿两千多年前的《几何原本》举个例子，你一下就懂了。

欧几里得的《几何原本》，可以说是数学史上最重要的一本书，没有之一。利玛窦和徐光启最早把它翻译成中文的时候，中国人第一次见识到什么叫 “逻辑演绎体系”，直接被震撼到了。

这本书的第一句话，就暗藏着无穷。定义 1：点，是没有部分的东西。说白了就是：点没有大小。

你第一次听到这个定义，可能觉得稀松平常，但仔细琢磨就会发现很诡异：没有大小的东西，是什么东西？现实里你找不到任何一个没有大小的点。你用铅笔在纸上点一下，再小也有面积；哪怕用针尖戳一下，也有直径。真正的 “几何点”，只存在于人的想象里，是欧几里得凭空造出来的概念。

为什么欧几里得不直接说 “点是无穷小的”？因为古希腊人早就发现，“无穷小” 这个东西会引出一大堆悖论，比如芝诺悖论，什么 “阿喀琉斯追不上乌龟”“飞矢不动”，全都是无穷小惹的祸。

古希腊人解决不了这些悖论，所以就绕着走，用 “没有部分”“不能再分割” 来定义点，假装自己没碰 “无穷小”。但谁都知道，没有大小、可以无限分割的点，骨子里就是无穷小。不管怎么藏，无穷都已经埋在几何的最底层了。

定义完 “点”，欧几里得接着定义 “线”：线是没有宽度的长度。现实里有没有没有宽度的线？没有。再细的线也有宽度，哪怕是一根头发丝，也有直径。然后是 “面”：面是只有长度和宽度、没有厚度的东西。现实里同样找不到。一张纸再薄，也有厚度。

你看，几何里最基础的三个元素，点、线、面全都是自然里不存在的，全都是人类发明出来的抽象概念。

欧几里得一共定义了 23 个基础元素，又给出了 5 条公理、5 条公设，加起来十几条看起来像废话的规则。比如 “等量加等量，和相等”“整体大于部分”“过两点有且只有一条直线”……

就靠这十几条有限的、简单的规则，欧几里得一步步推导出了 465 个命题，从三角形内角和到勾股定理，从圆的面积到立体几何，硬生生搭出了一整个无穷无尽的欧几里得几何空间。

现在再回头看外尔的那句话：“数学家发明了有限构造，通过该构造可以解决问题，而其本性却隐含着无穷。” 是不是一下就通透了？有限的定义、有限的公理，就像一套乐高积木，零件数量是有限的；但靠着组合和演绎，就能拼出无穷多种造型，覆盖无穷多的场景。

这就是数学最神奇的地方：用有限的规则，掌控无穷的世界。

说到《几何原本》，就不得不提一个更能证明 “数学是发明” 的故事：第五公设的风波。

欧几里得的 5 条公设里，前四条都简洁明了，唯独第五条 “平行公设”。大概意思是 “过直线外一点，有且只有一条直线和已知直线平行”，看起来有点复杂，不像公理，更像个需要证明的定理。

之后的两千多年里，无数数学家想方设法想用前四条公设证明第五条，结果全失败了。

直到 19 世纪，有几个数学家突然脑洞大开：既然证明不了，那如果我把第五公设改了，会怎么样？比如改成 “过直线外一点，至少有两条直线和已知直线平行”，或者改成 “过直线外一点，没有直线和已知直线平行”。

按常理说，改了公理，推出来的几何肯定是错的吧？结果恰恰相反：改了第五公设之后，数学家照样推出了一整套完整、自洽、没有任何矛盾的几何体系。

前者叫双曲几何（罗巴切夫斯基几何），后者叫椭圆几何（黎曼几何），合起来就是 “非欧几何”。

如果数学是 “发现” 自然规律的，那怎么可能同时存在好几种互相矛盾的几何？总不能现实里同时有好几种不一样的空间吧？

但在数学里，这完全没问题。

只要你定义的规则内部没有矛盾，逻辑自洽，这个数学体系就是成立的，就可以存在。

说白了，公理就是数学家自己定的游戏规则。你定不同的规则，就能玩出不同的游戏，造出不同的数学宇宙。这不是发明是什么？

更有意思的是，几十年后爱因斯坦研究广义相对论的时候，发现我们这个宇宙的大尺度空间，居然就是弯曲的，刚好要用黎曼几何来描述。人类凭空发明出来的、当时觉得毫无用处的数学，最后居然成了解释宇宙的核心工具。

这就是数学最奇妙的地方：它生于人类的想象，却总能精准命中现实。

其实数学和自然的关系，很像飞机和鸟。

人类观察鸟的飞行，发现了空气动力学的原理，然后发明了飞机这种全新的事物。飞机不是自然里本来就有的，是人造的。但随着技术进步，飞机的速度、高度、航程，早就远远超过了任何一种鸟类。

数学也是一样。

人类最早的数学概念，比如自然数、简单的几何图形，都是从观察自然里来的，是对自然规律的发现。

但人类没有止步于 “发现”，而是在这些观察的基础上，重新发明了一套更严谨、更抽象的概念和规则。随着几千年来一代代数学家的构造和完善，数学宇宙的边界，早就远远超越了自然宇宙的边界。

最典型的例子，就是 “数” 的扩张史。人类最早认识的数，是自然数：1、2、3、4…… 用来数东西，一个苹果、两只羊，这是从自然里直接观察来的，说是发现没问题。

后来为了分东西，发明了分数，比如 1/2、1/3，这时候已经有点抽象了，但还勉强能对应现实。再后来，为了表示 “亏欠”“反向”，人类发明了负数。

负数刚出来的时候，被骂了上千年。很多数学家觉得荒谬：“数是用来表示多少的，比零还小的数是什么东西？怎么可能存在？” 直到近代，负数才被普遍接受。自然里有 “3 个苹果”，但没有 “-3 个苹果”。

负数是人类社会的概念，是发明，不是发现。

再往后，就是我们熟悉的无理数风波。毕达哥拉斯学派的弟子希帕索斯，用勾股定理算出：边长为 1 的正方形，对角线的长度不能表示成两个整数的比。

这个数就是√2，人类历史上第一个被发现的无理数。

在当时的毕达哥拉斯学派看来，“万物皆数”，所有的数都应该是整数或者整数的比。

√2 的出现，相当于直接砸了学派的根基。

学派的人又愤怒又恐慌，最后把希帕索斯扔到海里淹死了，就因为他 “发明” 了一个自然里不存在的、亵渎神灵的数。

但历史的车轮挡不住。后来数学家不仅接受了无理数，还发明了更多 “离谱” 的数，比如虚数。

虚数刚提出来的时候，名字里就带着 “虚”，意思就是 “虚假的、不存在的数”。大家都觉得这玩意儿就是数学家脑补出来的玩具，现实里根本没有对应物。

结果呢？

现在的电气工程、信号处理、量子力学，哪个离得开虚数？没有虚数，我们连交流电都算不明白，更别说手机、电脑了。

从自然数到分数，到负数，到无理数，到虚数……

每一次数系的扩张，都是人类的一次发明。每一次发明，都把数学的边界往前推了一大步，也把人类能计算、能理解的范围往前推了一大步。

如果当年数学家止步于 “自然里有的数”，只敢用自然数，那我们的数学水平，恐怕还停留在两千多年前。

除了数，维度也是一样。

我们生活的自然宇宙，是三维空间加一维时间，总共四维。没人见过五维空间，也不可能见过。但数学家呢？五维、六维、十维、一百维、无穷维……

想造多少维就造多少维。高维空间里的球、立方体、各种几何图形，现实里都不存在，但数学家能精准算出它们的体积、表面积、各种性质。

物理学家费曼曾经在演讲里吐槽过这件事，特别有意思： “数学家总是把定理推广到无穷维空间，他们觉得三维太无聊了。

可可怜的物理学家呢，研究来研究去就只有三维空间，最后遇到搞不定的问题，还得回头去问数学家更高维的情况。”

你看，自然宇宙是空间有限、维度有限、物质有限的；而数学宇宙，可以空间无限、维度无限、数量无限，甚至连宇宙本身的数量都可以是无穷多个。

《三体》里歌者文明用二向箔把太阳系二维化，降维打击碾压人类，看着特别厉害。

但要是能让数学家把数学工具带到现实里，他们能直接碾压歌者。因为歌者最多也就玩个降维、升维，数学家能直接给你造出无穷多个维度、无穷多种宇宙规则。

真要限制数学家的力量，很简单：让他们只能用自然里真实存在的事物，不许用任何发明的数学概念。那人类的科学水平，直接就被锁死在两千多年前了，这比智子锁死基础物理还狠。

幸好，数学家早就跳出了自然的限制。就像《西游记》里的孙悟空，“跳出三界外，不在五行中”，获得了前所未有的思想自由。 “人定胜天” 这个梦想，至少在数学的世界里，已经完全实现了。

数学的强大力量，恰恰来自于 “发明”，而不是停留在 “发现” 上。数学，是人类文明对自然的一次伟大超越。

既然数学超越了自然，那它自然也就不属于 “自然科学” 了。

很多人习惯把数学和物理、化学、生物放在一起，都叫理科，都算自然科学。但严格来说，它们不是一回事。

物理、化学、生物这些自然科学，研究对象是自然宇宙里的真实事物，所有概念都来自自然，也不能超越自然。它们的结论要靠实验验证，随时可能被新的实验推翻。

但数学不一样。

数学里有大量超越自然的概念，比如无穷、高维空间、虚数，这些在自然里都不存在。数学的结论靠逻辑证明，只要证明过程没错，就永远成立，不需要做实验验证。

那数学算不算科学？当然算。因为科学的核心是 “确定性、可重复、可验证”。

同一个数学定理，任何人按照步骤去推导，都能得出一样的结论，任何人都可以重复验证证明过程。这完全符合科学的标准。

所以我们把数学、逻辑学、理论计算机科学这类，研究 “形式系统” 的科学，统称为形式科学。

形式科学不研究具体的现实事物，它研究的是人类自己定义的规则系统。但它又能为所有研究现实的科学提供底层的逻辑和工具支持。

有一张很经典的科学层级图：最底层是形式科学，包括数学、逻辑学；往上是物理、化学这些基础自然科学；再往上是生物学、生命科学；最上层是心理学、社会学这些社会科学。

这是一个自下而上的支撑结构：数学为物理提供工具，物理为化学提供基础，化学支撑生物学，生物学又支撑着社会科学。越往下，确定性越高，越接近绝对真理；越往上，复杂性越高，越依赖经验观察。

有意思的是，早在五百多年前，拉斐尔就在《雅典学院》里画出了几乎一模一样的层级结构。

很多人看《雅典学院》，只看到一群古希腊大佬聚在大厅里，其实拉斐尔在构图里藏了很多小心思。画面正中央是柏拉图和亚里士多德，两人是所有视线的焦点。

如果以亚里士多德伸出的右手为顶点，往下画一个等腰三角形，底边的两个端点，右边刚好指向伏案演算的毕达哥拉斯，左边刚好指向弯腰作图的欧几里得。

而这两位数学家，同样是身边人物的视线中心。

拉斐尔用这个金字塔构图，其实就是在表达：在自然哲学的体系里，数学是整个大厦的地基。所有关于自然的思考，最终都要建立在数学的基础之上。

五百多年后的今天，我们回头看，不得不佩服拉斐尔的洞察力。

说到这儿，就引出了另一个问题：为什么人类凭空发明出来的形式科学，反而能成为研究自然的基础？为什么人造的数学，能精准描述宇宙？

要回答这个问题，就得搞清楚到底什么是 “形式”，什么是 “形式科学”。

不过这个话题展开又是几千字，已经超出了本文的主题，我们留到下次专门讲形式科学的时候再聊。

文章开头我们从《雅典学院》讲起，最后也用这幅画来收尾。

在《雅典学院》的 C 位，柏拉图和亚里士多德并肩站立。右边的柏拉图（据说拉斐尔是照着达芬奇画的），右手食指指向天空，左手夹着《蒂迈欧篇》，象征着 “形式” 和 “理性”，代表人类可以用思想构造出完美的理想世界；左边的亚里士多德（有人说是照着米开朗基罗画的），右手手掌朝下伸向大地，左手扶着《伦理学》，象征着 “经验” 和 “观察”，代表知识要来自脚踏实地的现实探索。

他们两个人，刚好代表了人类获取知识的两条路：一条靠演绎、靠理性、靠发明创造；一条靠归纳、靠观察、靠发现总结。

我们都知道，这两条路不是非此即彼的，而是缺一不可、相辅相成的。