[论文解读] Desperately seeking mathematical truth

Melvyn B. Nathanson|arXiv (Cornell University)|Sep 8, 2008

Philosophy and Theoretical SciencePsychology被引用 19

一句话总结

本文批判了数学真理的所谓确定性，指出许多著名的定理——如怀尔斯和佩雷尔曼的定理——缺乏完全验证的逐行证明。相反，它们的接受依赖于数学精英之间的政治共识，揭示了尽管宣称具有逻辑严谨性，数学文献本质上是不可靠的。

ABSTRACT

This article discusses epistemological problems in the philosophy of mathematics and issues concerning the reliability of the mathematical literature.

研究动机与目标

• 挑战数学定理通过严格、可检查的证明而普遍且永恒为真的广泛信念。
• 揭示数学同行评审制度中的系统性缺陷，以及对专家意见的依赖而非逐行验证。
• 说明即使标志性证明——如费马大定理和庞加莱猜想的证明——也缺乏完整验证，而依赖于学术共同体的共识。
• 论证由于证明不完整、参考文献未经验证以及评审流程存在缺陷，数学文献本质上不可靠。
• 强调数学真理的政治本质：‘权威’人物决定正确性，而非逻辑完整性。

提出的方法

• 分析历史和当代数学证明，包括怀尔斯对费马大定理的证明和佩雷尔曼对庞加莱猜想的证明，以展示其依赖共识而非验证。
• 以有限单群分类定理为例，说明尽管历经数十年工作，该定理仍无普遍接受的完整证明。
• 回顾数学期刊的评审流程，认为大多数论文并未经过深入审查，评审人通常仅检查结论并粗略浏览证明。
• 将数学证明的理想——从公理出发的逻辑推导——与现实中的不完整、粗糙或直觉性论证进行对比，这些论证被接受为‘正确’。
• 利用微积分和欧几里得《原本》的历史发展，表明即使基础数学也包含长期未被纠正的逻辑漏洞。
• 主张定理的正确性并非取决于其逻辑完整性，而是取决于一小撮专家的社会认可，使数学真理成为一种政治建构。

实验结果

研究问题

• RQ1 为何数学家在缺乏完全验证、逐行证明的情况下仍接受重大定理为真？
• RQ2 鉴于不完整证明和未经验证参考文献的普遍存在，数学文献在多大程度上实际上是可靠的？
• RQ3 数学期刊的评审流程在多大程度上未能确保发表结果的正确性？
• RQ4 为何像怀尔斯和佩雷尔曼这样的标志性证明在多年后才被接受，尽管其重要性不言而喻？
• RQ5 数学真理在何种方式上依赖于社会共识而非逻辑完整性？

主要发现

• 许多著名的数学定理，包括怀尔斯和佩雷尔曼的定理，并未得到完全验证；其正确性依赖于专家共识，而非详尽的证明检查。
• 有限单群分类定理仍存在争议，尚无普遍接受的完整证明，文献中许多结果仍被视为未经证明的断言。
• 大多数经同行评审的数学期刊论文实际上并未经过深入评审；评审人通常仅检查结论并粗略浏览证明，导致大量有缺陷或不完整的论证被广泛接受。
• 即使基础性著作如欧几里得《原本》也包含长达千年未被纠正的逻辑漏洞，表明数学推理中长期存在的缺陷。
• 微积分的历史表明，该数学领域被使用和发展了150年，其基础才在多年后才被严格建立，表明数学中的‘真理’往往滞后于证明，而非先于证明。
• 数学真理并非纯粹逻辑，而是具有政治性：正确性的判断由某一领域的有影响力专家或‘权威’决定，而非客观验证。