普林斯顿大学数学家塞尔久·克莱因曼认为，数学真理是独立于人类思想的客观存在，是等待被发现而非发明的现实基底。他早年在共产主义罗马尼亚的经历，使他将数学视为“不妥协的真理”的避难所。后来，他通过证明广义相对论中“空时”与黑洞的稳定性，以及观察傅里叶热流理论如何意外地帮助解决庞加莱猜想等现象，进一步坚信数学与物理共同揭示了现实的深刻结构。
数学：发现还是发明？
数学哲学的核心分歧之一，在于其本质的定义。
- 柏拉图主义观点： 认为数学结构，如几何形状和基本原理，是独立于人类思想而存在的。它不是我们描述现实的语言，而是 现实本身的基底。
- 建构主义观点： 认为数学是人类劳动的产物，是我们强加给世界的一套规则，如果没有我们，这套规则对世界毫无意义。
克莱因曼教授坚定地站在第一阵营，他认为数学真理先于我们存在，数学家的工作只是去发掘它。他证明的定理并非人类的创造，而是对宇宙既有事实的发现。他强调，混淆发掘真理的“工具”（人类发明的）和“真理本身”（客观存在的）是一个严重的分类错误。
寻求不受侵犯的真理
克莱因曼对数学的哲学立场，源于他在共产主义罗马尼亚的成长经历。
- 寻求纯粹： 在一个意识形态无处不在的环境中，数学是少数未被政治控制的领域，提供了一种“纯粹感”。
- 真理的避难所： 他将数学视为一个“充满不妥协的真理和抽象之美的领域”。在这里，他找到了智力挑战和精神慰藉。
政治压力无法扭曲严格证明的数学定理。与钻石不同，它们真正永恒。
这段经历让他深刻体会到，存在一种政府无法触及和控制的真理。
从抽象方程到物理现实
克莱因曼的学术生涯聚焦于偏微分方程 (PDEs)，这是一种描述变化如何跨越空间和时间发生的数学语言。从热量在物体中的传播到引力场的演化，许多基础物理学都用这种语言书写。
- 与物理世界的联结： 在纽约大学，他接触到的教学方式不再是盲目攀登山峰，而是理解数学内在的逻辑和动机。他所专攻的偏微分方程与热力学、电磁学、量子力学和引力等物理定律紧密相连。
- 证明时空的稳定性： 他的一项里程碑式工作是证明了所谓的闵可夫斯基空间（一个理想化的、完全平坦的宇宙）是稳定的。这意味着，即使引入微小的扰动，空间也会恢复平坦，而不会灾难性地崩溃。
- 证明黑洞的稳定性： 之后，他与合作者证明了黑洞在受到某些扰动时仍能保持稳定。这是至关重要的一步，因为它确认了黑洞可以作为物理实体存在，而不仅仅是爱因斯坦方程中一个脆弱的“数学幽灵”。
数学“不合理”的有效性
克莱因曼深受物理学家尤金·维格纳的文章《数学在自然科学中不合理的有效性》的影响。这篇文章探讨了一个奇特的现象：为某个特定目的而发展的数学概念，总会意外地出现在完全不相关的领域。
“许多我的想法都源于那些与赫里斯托祖卢的讨论。” 克莱因曼说，现在，在他首次读到那篇文章几十年后，他终于准备好将这些想法写下来。
他最喜欢的例子是庞加莱猜想的证明。
- 问题： 一个世纪难题，询问一个封闭且“单连通”的三维形状是否本质上就是一个球体。
- 解决方案： 俄罗斯数学家佩雷尔曼使用了“里奇流”这一技术，通过平滑一个不规则物体的曲率来揭示其基本形状。
- 惊人的联系： 里奇流在几何上的作用，与约瑟夫·傅里叶在近200年前为研究热量传导而发展的数学思想惊人地相似。
克莱因曼问道：“源自傅里叶热传导研究的热流，到底与庞加莱猜想有什么关系？” 答案是，流动与平滑不规则性的数学原理，可以从一个领域被“借用”到另一个看似毫无关联的领域。这具体体现了维格纳提出的那个深刻谜题。
最终的信念：发现而非发明
克莱因曼认为，对于夸克、弦或黑洞内部这些无法直接观测的物理实体，数学可能提供了我们理解它们的唯一途径。
“虽然我们的感官可能是虚幻的，但应用于明确定义的数学对象的逻辑是绝对可靠的。”
他同意维格纳的观点，但对一个词提出了异议：“发明”。克莱因曼坚信，数学的核心思想是被发现的。
- 工具与真理： 人们可以发明计算工具（如长除法），但无法发明圆周率 π 本身。π 是一个关于宇宙的客观事实。
- 探索者的比喻： 就像南极洲是等待被发现的，但到达那里的路径和装备则依赖于人类的创造力。证明闵可夫斯基空间的稳定性花了他六年多的时间，期间他必须发明工具，但稳定性本身是一个等待被揭示的事实。
对于克莱因曼来说，他是一名探索者，而非建筑师。他感激自己选择了一个真理可以被揭示、但永远不属于任何人的学科——这正是他年轻时在布加勒斯特所渴望的。