深度长文：数学是人类的发明，还是发现？（近一万字）

数学，根本不是自然的一部分。 有人肯定提出质疑：开什么玩笑？勾股定理不管有没有人类都成立吧？圆周率 π 就算外星人来了也得是 3.1415926…… 吧？数学明明是宇宙自带的底层规律，人类只是碰巧发现了它，怎么敢说它不是自然的一部分？ 确实，在绝大多数人的直觉里，数学就像埋在地底的金矿，亘古以来就静静躺在那里，数学家的工作不过是拿着锄头一点点挖出来而已。 牛顿发现了微积分，就像哥伦布发现了新大陆，东西本来就在那儿，只是之前没人找到罢了。 但是，如果你顺着数学的发展历史往回倒，一直倒到两千多年前的古希腊海岸，再顺着时间线一路摸到现代数学的大门前，就会发现：数学的真相，远比 “发现” 两个字要复杂得多。 简单说：远古人类的数学，大多是对自然的观察和总结，说是 “发现” 没毛病；但从古希腊人把 “逻辑证明” 正式搬进数学的那一天起，数学家就开始亲手创造一个又一个自然宇宙里根本不存在的东西。 两千多年下来，这个被人类凭空造出来的数学世界，已经庞大、丰富到远远超越了我们真实生存的这个宇宙。 文艺复兴三杰之一拉斐尔的名画《雅典学院》里，柏拉图、亚里士多德身着长袍站在大厅正中， 毕达哥拉斯伏案演算，欧几里得手持圆规作图，那群聚在一起的古希腊先贤可能自己都没想到：他们手里的圆规和直尺，不光画出了三角形和圆形，更给人类凿开了一扇通往新世界的大门。 在那个世界里，人类的思想第一次彻底挣脱了自然物理的束缚，第一次真正在逻辑层面做到了 “人定胜天”。而正是这个看不见摸不着的世界，后来推着科学、技术一路狂奔，把人类文明拽进了高速发展的快车道。 而对于“数学是发明还是发现” 这个问题，吵了几千年都没吵出统一答案，很大一个原因就是：吵架的双方，连 “什么是发明、什么是发现” 的定义都没对齐。 鸡同鸭讲，当然吵不出结果。 我们先拿两个毫无争议的例子定个标准： 科学家发现了微观粒子，而不是发明了微观粒子。粒子本来就在宇宙里，不管人类找不找得到，它都存在。 殷商时代的古人发明了甲骨文，而不是发现了甲骨文。字是人造出来的，没有人类就没有文字。 通过这两个例子，我们很容易达成一个共识： 发现 ，是人类在自然宇宙里找到了以前没见过、但本来就存在的事物； 发明 ，是人类创造出了自然宇宙里以前不存在、没人造就永远不会出现的事物。 如果拿这个定义去套数学，很多人第一反应是：那数学肯定是发现啊！勾股定理又不是谁造出来的，直角三角形本来就满足这个规律。 别急，我们再往下想一层：数学里只有规律吗？那些定义、符号、规则体系，也是本来就有的吗？ 比如 “点没有大小”“线没有宽度”“面没有厚度”，这些几何里最基础的定义，自然里存在吗？ 比如 “+、-、×、÷” 这些运算符号，比如阿拉伯数字，是自然里长出来的？ 比如 “虚数”“无穷大”“n 维空间” 这些概念，你能在宇宙里找到对应的实物吗？ 你看，一旦把 “数学” 拆成 “规律” 和 “规则 / 概念 / 符号” 两部分，事情就没那么简单了。 如果严格按照刚才的定义，数学里的所有定义、符号、规则体系，全都是人类的发明，是自然宇宙里本来没有的东西。 这么说的话，难道结论就是：数学是人类的发明，而不是发现？ 当然没这么简单。要是一句话就能讲完，也不值得吵几千年了。 很多人对宇宙有个天然错觉：宇宙是无穷大的，时间是无穷久的，物质是无穷多的。 但这只是我们的想象。随着天文学观测能力越来越强，科学家发现：我们生活的这个自然宇宙，其实是 “有限” 的，而且比很多人想象的要 “小” 得多。 怎么个有限法？ 从时间上说，宇宙有个起点，就是我们常说的 “大爆炸”，算下来宇宙的年龄大概 138 亿年，不是无限往前追溯的； 从空间上说，可观测宇宙的直径大概 930 亿光年，再往外的地方，光永远传不到地球，我们永远也观测不到； 从物质上说，整个可观测宇宙里所有普通物质的质量，加起来大概是 1.45×10^53 千克，这个数字大到没法想象，但它终究是个有限的数字，不是无穷。 至于宇宙为什么是有限的，这背后是一段非常精彩的科学史，从牛顿的无限宇宙悖论，到奥伯斯佯谬，再到哈勃发现星系红移，最后到宇宙微波背景辐射的发现，一步步推翻了 “无限宇宙” 的直觉。 说回正题：我们这个自然宇宙，时间、空间、物质、能量全都是有限的。 换句话说， 自然里根本不存在 “无穷” 这个东西 。 你可能会说：不对啊，时间不是一直往前走吗？怎么会有限？ 注意，我们说的是 “到目前为止的自然宇宙是有限的”，而且哪怕再过一亿年、一万亿年，它的总年龄也还是个有限的数字，永远达不到 “无穷久”。无穷是个永远到不了的终点，只存在于概念里。 还有人说：物质可以无限分割啊，一块木头切一半，再切一半，永远能切下去，这不就是无穷小吗？ 还真不行。 在物理世界里，分割是有极限的，到了普朗克长度（大概 10^-3