The curious case of broken theorems
6 months ago
- #proof-errors
- #formal-logic
- #mathematics
- 安德鲁·怀尔斯于1993年宣布证明了费马大定理，但后来发现证明存在漏洞，需要修正。
- 数学证明和定理中常存在错误，但这一领域仍能在问题中持续发展。
- 阿姆农·尼曼推翻了196年同调代数中的一个'定理'，揭示错误可能潜伏数十年才被发现。
- 形式逻辑认为单个矛盾就应推翻整个数学理论，但实际上数学体系展现出惊人韧性。
- 拉斐尔·鲁奎尔和陶哲轩等数学家都发布过勘误，表明错误虽常见但可管控。
- 通过Lean等证明辅助工具形式化数学的努力，在减少错误的同时也暴露出既有证明的漏洞。
- 凯文·巴扎德团队在晶体上同调理论中发现有缺陷的引理，但因该理论被广泛使用而得以修复。
- 数学家常依赖符号背后的直觉意义，在工作中融合方法论柏拉图主义与形式主义。
- 概念论将数学视为结合形式逻辑与直觉概念建构的人类活动。
- 数学如同金缮陶器般在破碎处修复而非彻底瓦解，错误总可被修正和限制。