微积分靠「无穷小」打了两百年胜仗，却始终说不清无穷小是什么。本文追踪柯西、魏尔斯特拉斯与实数理论如何把「无限趋近」翻译成有限步骤的 ε-δ 命题——以及这套语法为什么沿用至今，从收敛证明一直到 SGD 定理。
分析的严格化
好用两百年，账单为何到期
牛顿的「最初与最终比」、莱布尼茨的 ，都要求同一个量先不为零参与除法、再当作零消失。贝克莱 1734 年讥之为「消失量的幽灵」（ghosts of departed quantities），这一击并非哲学洁癖： 到底是不是零，直接决定每一步推导是否合法。但整个十八世纪没人急于还账——欧拉与十八世纪分析 的形式计算屡屡给出正确答案，天文学家要的是结果，不是辩护。真正把账单催到门口的是 Fourier 级数：同一个函数竟可写成不同的三角级数之和，级数的和函数何时能求导、求积，全无判据。分析不再只是地基不稳，而是开始自相打架——严格化从美德变成了必需。
柯西：用极限定义绕开无穷小辩护
第一个正面还账的是柯西。1821 年的《分析教程》（Cours d’analyse）做了决定性转向：不再解释无穷小是什么，而是整体绕开它——极限成为第一性概念，连续、收敛、导数、积分全部改由极限定义。导数不再是「消失前的比值」，而是差商的极限；级数求和第一次有了明确的收敛判据。贝克莱的诘难由此从形而上学问题降格为定义问题。
但柯西的极限仍是一个动作：「变量的值无限趋近某个定值」——这句话依赖时间直觉，严格性欠一口气。代价很快显形：他宣称证明了「连续函数项级数之和连续」，命题却为假——阿贝尔在 Fourier 级数里撞见的正是反例。病根在于动态语言无法区分「每个 各自趋近」与「所有 一起趋近」：一致收敛（uniform convergence）在过程式表述里根本写不出来。
魏尔斯特拉斯：把运动压成命题
补上这一口气的是魏尔斯特拉斯。他的 ε-δ 做的事，本质是把动词翻译成名词、把过程翻译成静态命题：
这句话里没有「趋近」、没有「越来越小」、没有时间——只有一个可判定的量词结构：给定任意 ，构造出 。证明从「看着变量动」变成「对任意 给出构造」，是有限步骤的代数操作。这就是主线问题的答案：ε-δ 买到的不是更漂亮的表述，而是可证明性——只有静态命题才能进入公理演绎系统。
有了能表达「一起趋近」的语言，一致收敛立即可以定义： 不依赖 。魏尔斯特拉斯用它重建了和函数连续、逐项积分与逐项微分的正确条件，病态级数从此各归其位。反向的打击同样致命：1872 年他出示了处处连续、处处不可微的 Weierstrass 函数
「连续曲线总能画切线」的几何直觉被彻底粉碎，分析从此只能信证明、不能信图形。直觉被缴械，恰恰标志着语言接管了阵地。
实数开户：存在性的最后一砖
ε-δ 说清了极限等于什么，却没回答极限为什么存在。Cauchy 判据（基本列必收敛）是有力工具，但在有理数上为假：逼近 的有理列是 Cauchy sequence，却没有有理数极限。分析的完备性（completeness）一直被悄悄记在一笔从未开户的实数账户上。
1872 年，两份工作同时开户。戴德金的 Dedekind cut 沿每个缝隙把有理数切成左右两半，缝隙本身被定义为无理数，实数系由此完整；康托尔则把互相渐近的 Cauchy sequence（基本列）归为等价类，每个等价类就是一个实数。两条路线出发点不同，给出同构的实数系——完备性从假设升格为定理，ε-δ 语言的最后一块悬空地基落定。这场给分析找地基的工程还顺带把无穷集合本身变成数学对象，故事在 康托尔与集合论 继续展开。
危机结案，语法沿用至今
地基完工，数学三次危机 的第二次危机正式解除：无穷小作为解释被淘汰，作为速记符号保留——莱布尼茨记号在链式法则里至今仍是最好的写法。距离贝克莱发难，人类用了一个半世纪。
而这套语言买到的东西远不止历史清账，它就是现代概率与优化的母语。概率论思想史 从赌桌到公理化 的测度论终点把「随机变量收敛」拆成几乎必然、依概率、依分布，每一种都是 ε-N 或其变体，Kolmogorov 公理化的底座正是完备实数系。机器学习这边，SGD 收敛定理写的就是纯粹柯西语法：在 Robbins–Monro 步长条件 、 下，
最优化方法史 从最小二乘到随机梯度 的终点站，落的正是魏尔斯特拉斯的模板；神经网络的万有逼近定理，证明内核也是 Weierstrass 逼近定理经 Stone 推广的 ε-δ 论证。下次在论文里读到「以概率 1 收敛」「 速率」时，你读到的就是 1872 年的语言——地基重建完成一百五十年后，上面最新的一栋楼叫深度学习。