数学之谜思：数学不是科学，而是人类丈量世界的公共约定
我们习惯把数学和科学放在一起说，网上经常有讨论为什么诺贝尔奖没有数学的问题，不得不说，诺贝尔真是人间清醒，他通过生前的这个规定让世人知道：数学不是科学，这并不是贬低数学，而是让人们清醒地站在数学之外看到数学的本身。
提到数学本身，就不得不提到一个数学史上最重要的一位数学家之一，法国数学家庞加莱，庞加莱有一句非常深刻的话：**”数学的本质不在于研究具体的对象，而在于研究对象之间的关系。”**
他的数学哲学属于约定主义学派，主张数学本质是人类基于便利性与公约性构建的有益工具。科学通过归纳法探索自然秩序，数学则依赖约定的规则体系。几何学公理并非经验或先验真理，而是根据物理空间适用性选择的公约。
他把这种”约定论”从数学推广到了整个科学——科学定律在某种程度上也是一种约定，不是武断的，而是为了以最有效、最经济的方式组织我们的经验。
“数学是科学的语言””数学是精确的科学””数学揭示了宇宙的真理”——这些说法听多了，很容易让人产生一种印象：数学和物理、化学、生物一样，都是在描述客观世界的规律，只不过数学更精确、更基础。
但如果认真审视数学的运作方式，会发现它和自然科学根本不是一回事。而且，恰恰是这种”不是一回事”，才是数学真正了不起的地方。
科学与数学：两种完全不同的”真”
自然科学的核心方法是观察、实验、归纳和修正。一个物理理论，哪怕再漂亮、再优雅，只要被新的实验证据推翻，就必须退场。牛顿力学统治了两百多年，到了高速和微观世界，仍然要让位给相对论和量子力学。科学永远向经验敞开，也永远可能被经验否定。
数学不是这样。
欧几里得几何两千多年前成立，今天仍然成立。勾股定理不需要重新做实验验证，自然数加法也不会因为时代变迁而失效。一个数学定理一旦在给定公理系统内被严格证明，就永远不会被推翻。
所以，数学不是自然科学。它更像一种形式系统：从一组约定出发，按照逻辑规则推演出一整套结构。它不依赖对自然界的观察，也不接受经验事实的检验。
科学面对的是经验，数学面对的是逻辑。科学不断修正，数学在系统内永恒。
公理不是真理，而是起点
数学从公理开始，这一点几乎所有人都知道。但很多人忽略了一个关键事实：公理不是被证明出来的，而是被选择出来的。
我们常说”公理是不证自明的真理”，这其实是古希腊以来的旧观念。现代数学对公理的理解已经完全不同——公理更像是一个系统的初始规则。你接受这组规则，就在这个规则下展开推演；你不接受，也可以换一组规则，建立另一个自洽的系统。
最经典的例子就是欧几里得第五公设——平行公设。它长期被认为是”显然正确”的，但后来数学家发现，否定它并不会导致矛盾，反而能发展出非欧几何。在球面上，过直线外一点不存在平行线；在双曲空间中，存在无数条。这些几何体系和欧氏几何截然不同，却各自逻辑自洽。
这说明公理并不是宇宙写给我们的判决书。它更像一种公共约定：大家都承认这组规则，于是可以在同一个框架里讨论问题。中文里”公理”的”公”字，其实已经暗示了这一点——它不是”绝对真理”，而是”公共接受的规则”。
张景中院士对此有过非常明确的表述：现在数学家的看法变了，他们认为没有什么自明之理，即使有，也不必要求数学公理是真理。数学公理是对数学对象性质的约定，讨论公理”对不对”，对数学家来说是没有意义的。
人人都可以定义公理，但不是每种定义都有用
从形式上说，任何人都可以定义一套自己的公理系统。你可以规定一些奇怪的对象，设定一些奇怪的关系，只要系统内部不自相矛盾，它就可以成为一个合法的数学结构。
但问题在于，定义出来之后，它能推出什么？
大多数随意构造的系统，很快就会变得贫乏、无趣，甚至自我坍缩。它们既不能解释现实，也不能产生新的结构，更无法帮助人类组织经验。
真正留下来的数学系统，不是因为它们被宣布为”正确”，而是因为它们有用。微积分能处理变化和连续运动，群论能描述对称性，拓扑能研究空间在连续变形下的不变性质，概率论能处理不确定性。它们之所以成为主流，并不是因为某次会议投票决定了它们的地位，而是因为它们在描述世界、解决问题、组织知识时，表现出了极高的效率。
这很像语言。人类可以发明无数种语言，但自然语言之所以长成今天这个样子，并不是因为某种语言”最正确”，而是因为它适合人类认知、表达和交流的需要。数学也类似——它不是唯一可能的认知工具，却是目前人类发现的最强大的抽象工具之一。
所谓”精准”，本质上是一种度量衡
数学为什么常常显得特别”精确”？因为它本来就是精确的。但物理世界里的”精确”，和数学里的”精确”并不相同。
数学中的圆周率可以无限展开，每一个数位都确定无疑。物理测量却永远有误差，引力常数、普朗克常数、基本电荷，这些数值都只能在一定精度范围内被确定。物理学中的数字，本质上只是数学数字周围的一团”模糊”。
所以我们说”数学精确描述了物理世界”时，其实要加一个限定：在某个尺度、某个精度、某个模型范围内，数学工具非常有效。牛顿力学在宏观低速世界里很好用，到了接近光速或微观粒子世界就不够用了。广义相对论能描述强引力场中的时空弯曲，但遇到奇点也会崩溃。所谓”精确”，从来不是无条件的。
这就像尺子。尺子能测量长度，但尺子本身并不解释物体为什么存在。我们用米、厘米、千克来描述世界，但这些单位最初也是人类约定的。千克曾经是一个铂铱合金实物原器的质量，2019年被重新定义为与普朗克常数相关的固定值。单位可以改，数值可以换，世界并没有因此崩塌。
数学公理也有类似之处。它们不是唯一可能的起点，而是人类在长期实践中筛选出来的一套高效起点。
庞加莱的洞见：站在数学之外看数学
在这场讨论中，有一个名字绕不开——亨利·庞加莱。
庞加莱被称为”最后一位全能数学家”，他在代数拓扑学、微分方程、自守函数理论、天体力学等几乎所有数学分支都留下了开创性成果。正因为他对数学内部的结构烂熟于心，他才有资格说出那句在当时极具颠覆性的话：
“几何学的公理既不是先验综合判断，也不是实验事实，它们仅仅是伪装的定义。”
一个二流数学家说这话，别人会当他是外行在瞎评论。但庞加莱说这话，整个数学界不得不认真听，因为他比任何人都清楚这些公理在内部是怎么运作的。
庞加莱最了不起的地方，恰恰在于他既是数学大厦最顶级的建造者，又是第一个站出来告诉你”这栋楼的地基是我们自己选的”的人。他看到数学处理的不是对象本身，而是对象之间的关系——换一组对象，只要关系结构不变，整个理论照样成立。
他不仅看透了数学，还看透了科学。他把约定论从数学推广到了整个科学，认为科学定律在某种程度上也是一种约定——不是武断的，而是为了以最有效、最经济的方式组织我们的经验。他甚至从达尔文进化论的角度解释了一个深刻的问题：为什么人类的认知结构恰好能理解自然规律？答案可能是——我们的认知结构本身就是自然选择塑造的产物，它和世界结构之间的契合，不是奇迹，而是演化的结果。
他1912年去世，年仅58岁。从他那之后，数学越来越专业化、碎片化，再也没有人能以他那样的广度和深度，同时站在数学、物理和哲学的交汇处俯瞰全局。
大多数数学家终其一生都在公理系统内部工作——接受规则，推演定理，解决问题。他们看到的是数学”里面”的风景。而庞加莱不仅在里面建起了最宏伟的建筑，还跳出来问了一个更根本的问题：我们为什么选择这组规则？这个选择意味着什么？
数学的力量：不在于绝对正确，而在于高度有效
数学最让人惊讶的地方，不是它”必然为真”，而是它常常能在物理世界中被反复验证。
有些数学结构，最初只是纯粹的抽象推演，后来却恰好成为描述自然的重要语言。黎曼几何在1854年被黎曼作为纯抽象构造发展出来时，并不是为了描述引力；但七十年后，爱因斯坦发现它正好适合描述弯曲时空。虚数i²=-1在自然界中找不到任何对应物，却是量子力学、电磁学、现代通信的底层基石。
这很容易让人产生一种错觉：数学是宇宙的底层代码，人类只是发现了它。
但更稳妥的说法可能是：人类发明了无数数学结构，其中绝大多数没有进入物理学，也没有进入工程、计算机、经济学和生物学。只有那些恰好能高效组织经验、描述关系、预测现象的结构，被保留下来，被不断发展和应用。这不是奇迹，而是筛选。
数学的”有效性”并不证明它是世界本身，只说明人类心智构造出的某些抽象关系，恰好能和自然现象形成高度契合。这种契合当然值得惊叹，但它不等于”数学就是真理”。
数学不是科学，也不是迷信，而是一种公共约定
把数学说成科学，会误解数学；把数学说成绝对真理，会神化数学；把数学说成毫无意义的文字游戏，又会低估数学。
更准确地说，数学是一种以公理为起点、以逻辑为规则、以结构为对象、以推演为方法的形式系统。它的力量来自三点：公共约定——大家接受同一组规则，才能在同一框架里交流；逻辑必然——一旦规则确定，结论就不是随意的，而是被严格推出；高度抽象——它能剥离具体对象，只保留关系和结构，因此可以被反复用于不同领域。
数学不是科学，但这并不削弱它。相反，这正是它的独特之处。科学告诉我们世界可能是什么样的；数学告诉我们，如果某些规则成立，那么某些结构必然成立。科学解释自然，数学提供描述自然的尺度、语言和结构。
数学不是真理本身，而是人类用来逼近真理的一种公共约定。它不是世界的本体，却是我们丈量世界、组织思维、推演关系时最锋利的工具。它从公理出发，却不止于公理；它由人类构造，却常常超出人类的直觉；它不依赖现实经验，却一次又一次地回到现实经验中发挥作用。
不必把数学神化，也不必把它矮化。它不是科学，也不是宗教，更不是随意发明。它是人类理性最严格、最公共、也最自由的一场约定。
最后致敬一下伟大的数学家庞加莱先生，”最后一位全能数学家”这个称号，既是赞美，也是一声叹息。
数学之谜思：数学不是科学，而是人类丈量世界的公共约定
