想了解数学背后的故事？这款工具带你穿越时空，探索数学概念如何…

# 数学三次危机与微积分严格化

一、三次数学危机概览

• 第一次危机（公元前5世纪）：毕达哥拉斯学派发现√2不可通约（无理数的存在），动摇了“万物皆数（有理数）”的信条。
• 第二次危机（17—19世纪）：微积分中“无穷小量”的逻辑矛盾，引发关于数学基础的争论。
• 第三次危机（19世纪末—20世纪初）：罗素悖论冲击朴素集合论，推动了公理化集合论的建立。

二、第二次危机的由来：无穷小量的尴尬

牛顿与莱布尼茨创立微积分时，“无穷小量”的地位很含糊：

• 求导数时，无穷小量参与运算（被当成分母、被约去），说明它“不是零”；
• 运算结束后，无穷小量又被当作零舍弃，否则结果不对。

一个量“既是零又不是零”，逻辑上无法自洽。

三、贝克莱悖论

1734年，爱尔兰主教贝克莱发表《分析学家》，尖锐抨击这种做法：

• 核心质疑：无穷小量若是零，不能作分母；若不是零，舍弃它就有误差，结果凭什么精确？
• 他讥讽无穷小量为“已死量的幽魂”（ghosts of departed quantities），矛头指向数学家们“用不清晰的观念得出正确结果”。

虽然贝克莱有神学立场（反驳“科学必然可靠”的论调），但这一批评在逻辑上确实切中要害，迫使数学界直面微积分的基础问题。

四、危机如何推动严格化

• 极限理论：柯西提出极限的初步定义，用“无限接近”取代模糊的无穷小；魏尔斯特拉斯给出ε-δ语言，使极限、连续、导数完全摆脱对几何直观和“幽灵”的依赖——无穷小被解释为趋近于零的变量过程，矛盾消解。
• 实数理论：戴德金分割、康托尔基本列等构造，为极限提供了坚实载体，实数完备性得到保证。
• 影响：此后数学进入公理化、严密化时代，分析基础（实分析）建立，也为后续集合论发展铺路。

五、小结

第二次危机表明：新数学工具可以先于严格基础取得成果，但逻辑漏洞终须修补。贝克莱的“刁难”客观上成了微积分严格化的催化剂。