password
AI summary
type
status
date
summary
tags
icon
comment
slug
category
数学常被想象成最稳定、最确定的知识体系，但它的历史并非一条毫无裂缝的直线。恰恰相反，数学的发展几次遭遇基础性的震荡：原本被认为理所当然的概念突然产生矛盾，迫使数学家重新回答“数是什么”“无穷是什么”“证明为什么可信”。
第一次危机：无理数打破“万物皆数”
古希腊毕达哥拉斯学派相信，所有长度都能表示为整数之比。然而边长为1的正方形，其对角线长度是 ，而它不能写成两个整数之比。
假设 ，且 互质。平方后得到 ，于是 是偶数；继续代入又可推出 也是偶数，与互质矛盾。
这不是简单发现了一种新数字，而是说明当时的“数”不足以描述真实存在的几何长度。希腊数学由此转向几何比例理论，并逐渐形成更严格的公理化传统。
第二次危机：微积分算得对，却说不清为什么
牛顿和莱布尼茨建立微积分时，大量使用“无穷小”。它被说成无限接近零、但又不等于零的量。计算中，人们一方面拿它作除数，另一方面又在最后将它丢弃。
这种方法极其有效，却缺少严格基础。19世纪的柯西、魏尔斯特拉斯、戴德金等人最终用极限、实数完备性和 - 语言重建分析学。
导数不再依赖神秘的无穷小，而写成：
这里的 始终不等于零，只是在极限过程中趋近于零。
第三次危机：集合论悖论动摇数学基础
19世纪末，集合论似乎可以统一整个数学。若任何清楚描述的对象都能组成集合，就可以定义“所有不属于自身的集合所组成的集合”。设它为 ，再问 是否属于自身，就会得到：
这就是罗素悖论。问题不在某个计算步骤，而在于“任意性质都能定义集合”这一原则本身过于宽松。
数学家随后提出三种主要回应：逻辑主义希望把数学化为逻辑；形式主义希望建立一致的符号系统；直觉主义则要求数学对象必须可以被构造。
1931年，哥德尔不完备定理进一步表明：任何足够强且一致的形式系统，都存在无法在系统内部证明或否证的命题；系统通常也无法在自身内部证明自身一致。
危机并不是数学的失败
三次危机有一个共同模式：旧体系曾经极其成功，但当它被推向更深处时，隐藏的前提暴露出来。数学没有因此崩溃，而是变得更严格：
- 第一次危机扩展了数的概念；
- 第二次危机建立了现代分析基础；
- 第三次危机催生公理集合论、数理逻辑和计算理论。
数学史真正令人着迷的地方，不只是它不断给出答案，而是它会反过来审问自己：我们凭什么相信这些答案？
- Author:J
- URL:j-world.xyz/read-think/three-crises-in-the-history-of-mathematics
- Copyright:All articles in this blog, except for special statements, adopt BY-NC-SA agreement. Please indicate the source!
Relate Posts