很多人争数学是不是科学，不靠实验全靠逻辑，真相到底是什么
近日我先后科普了本次斩获菲尔兹奖的中国数学家的研究成果，分别是王宏的三维挂果猜想证明和邓玉的希尔伯特第六问题相关内容。没想到评论区里大量讨论集中在我随口说的一句话：数学不是科学。
很多人私信询问：数学为啥不算科学？就连 AI 给出的解释都是，数学严格来说不属于自然科学，而是形式科学。今天就把这件事讲透。
不少人听到 “数学不是科学” 会觉得意外，甚至认为这是在矮化数学。这其实源于一个错误认知：将科学等同于唯一真理。
20 世纪哲学家波普尔对科学的定义是具备可证伪性，通俗讲就是能通过实验验证对错。数学定理恰恰没有可证伪性，它仅凭纯逻辑推导就可以确定正确性，根本不需要实验。
这就是数学和自然科学的核心区别。
不靠实验的硬核逻辑学科
自然科学的所有结论，最终都要靠实验验证。哪怕理论听起来再完美，只要没有实验支撑，就不能算作成熟的科学理论。
比如霍金的黑洞与宇宙学研究，以人类当前的科技水平根本无法验证，至今没有任何结论被实验证实。而杨振宁的理论经过了大量实验验证，这也是两人科研贡献的本质差别。
弦论就是典型例子，虽然弦论研究常被归为物理系，但它至今没有任何实验证据支撑。为了研究弦论诞生的复杂数学工具，让普林斯顿的威腾拿到了菲尔兹奖，可弦论连最基础的实验验证条件都不具备 —— 需要建造银河系规模的对撞机，这显然不可能实现。
格拉肖直言弦论根本不算科学，甚至反对哈佛物理系在弦论上投入资源。
别用科学矮化数学
很多人觉得 “数学不是科学” 是贬低数学，其实恰恰相反，是他们用科学的标准矮化了数学。
科学的结论永远是暂时的，会随着新的实验结果被修正甚至推翻。比如牛顿力学在宏观低速场景下仍有效，但在高速和强引力场景下，被相对论替代。
300 多年来的数学定理，没有一个被彻底推翻过。欧几里得几何至今仍是中学必修课，微积分的核心结论没有变化，就连当年提出的一些复杂猜想，只要被证明就会永久成立。
科学结论暂时有效，数学结论是被锁死的永久真理。
不用纠结 “形式科学” 这种分类定义，数学就是数学。它不需要通过实验验证，也不属于自然科学的范畴，但这绝非它的短板。数学是人类心智逻辑的产物，是一套基于公理搭建的严谨体系，它的确定性远超任何自然科学。