你有没有想过一个奇怪的问题：我们学的数学，是人类自己创造出来的工具，还是本来就藏在宇宙里，被我们一点点找到的？这个问题，从古希腊开始，就困扰着无数科学家和数学家，至今还有两派观点吵得热火朝天。
第一派是“发现派”，他们坚信：数学早就存在于宇宙中，人类做的只是“发现”它，就像探险家发现新大陆一样。他们的理由，全是让人惊叹的巧合。
最有说服力的就是“数学能预测未来”。1915年，爱因斯坦用一组复杂的数学方程，描述了引力的规律；7年后，天文学家真的观测到了方程里预测的“引力透镜”现象。还有狄拉克从方程里预言反物质，麦克斯韦方程组暗示电磁波存在，这些都是数学先“知道”，人类后观测到的。如果数学是人类发明的，它怎么能提前“看透”宇宙的秘密？
而且数学规律不分国界、不分物种。不管是中国人、外国人，甚至是外星人，只要遇到直角三角形，勾股定理a²+b²=c²永远成立，这不是我们发明的规则，而是本来就有的规律。还有斐波那契数列（1、1、2、3、5、8、13……），不仅存在于数学题里，还藏在向日葵的螺旋、鹦鹉螺的外壳、甚至银河系的旋臂上，这种跨领域的一致性，根本没法用“巧合”解释。
更神奇的是虚数i。16世纪，数学家解方程时，遇到了“负数开平方”这种奇怪的情况，就临时“虚构”了i来解决问题。可几百年后，人们发现，虚数在量子力学、电路分析里缺一不可，它根本不是“虚构”的，而是早就藏在现实世界里，等着我们发现。
另一派是“发明派”，他们也很坚定：数学就是人类的发明，是我们为了理解世界，创造出来的语言和工具。他们的理由，全是数学里“人为的痕迹”。
比如数学的“公理”是我们选的。初中我们学的欧几里得几何，建立在5条公理之上；可俄罗斯数学家修改了其中一条公理，就“发明”出了完全不同的“非欧几何”。如果数学是本来就有的，为什么换一套规则，就能出现不一样的数学体系？
还有我们用的数学符号，全是人为发明的。我们用“1、2、3”表示数字，古罗马人用“I、II、III”，古埃及人、玛雅人用的符号更不一样；“+、-、×、÷”这些运算符号，也是人类随便规定的。如果换成别的符号，数学的本质虽然没变，但表达形式完全不同——这说明，数学的“外衣”是我们发明的。
而且数学的分支是我们划分的。代数、几何、数论这些分支，在自然界里根本不存在，是人类为了方便学习和研究，硬生生分出来的。另外，数学还有局限性，1931年哥德尔证明，任何强大的数学系统里，都有“既不能证明，也不能证伪”的命题。如果数学是宇宙的密码，为什么它会有“搞不懂”的地方？
其实，最合理的答案，既不是单纯的发现，也不是单纯的发明：数学的“内容”是发现的，而“形式”是发明的。
就像望远镜是人类发明的，但星星不是；数学里的公理、符号、分支，是我们发明的工具，但这些工具描述的宇宙规律——比如勾股定理、斐波那契数列、引力方程，是本来就藏在宇宙里的。
简单说，质数的存在、质数的分布规律，是我们发现的；但“质数是只能被1和它本身整除的数”这个定义，以及用什么符号表示质数，是我们发明的。
争论数学是“发明”还是“发现”，其实没必要。数学更像是人类和宇宙的“对话”：我们发明语言（符号、公理）去提问，宇宙用本身的规律来回答。正是这种对话，让我们能读懂宇宙的密码，解锁更多未知的秘密。返回搜狐，查看更多