微积分发明权之争
微积分让无穷从几何的辅助手段升格为数学的主角；围绕它的发明权，牛顿与莱布尼茨打响了科学史上最惨烈的优先权战争——而真正被打输的，是此后一百年的英国数学。
一门「过剩」的发明
核心问题需要先拆开：一项发明怎么会由两人独立做出？因为 17 世纪中叶的数学已堆到临界点——切线、面积、极值、变速运动，四类问题在 解析几何的诞生 铺好代数与几何的通用语言之后，被压缩成了同一类问题；费马的极值法、巴罗的切线定理各自只差最后一步。微积分是时代的超定产物：不是「谁天才地想到了」，而是「谁先把零件装配完毕」。既然如此，冲突本可避免——除非其中一人把结果锁进抽屉。
瘟疫年的流数术与秘而不宣
1665–66 年瘟疫逼停剑桥，23 岁的牛顿回乡，在十八个月内装配完毕：流数术（method of fluxions）把变量视为随「时间」流动的量，求变化率即求流数——这就是导数。但他拒绝发表。1669 年的 De Analysi 只在小圈子里传抄，1687 年的《Principia》刻意用古希腊式综合几何写成，流数仅以「最初与最终比」的暗语若隐若现。一半是性格，一半是文化：数学界仍活在竞赛传统里——三次方程之争与虚数的诞生 中卡尔达诺因公开他人解法而被论战缠身半生的旧事不远，抢先发表可能招来的是攻击而非荣誉。锁进抽屉的代价随即显现：全世界无从证明抽屉里有东西。
记号的野心
牛顿先拿到结果，但历史只记录进入公共领域的部分——公共历史由莱布尼茨书写。1672–76 年他旅居巴黎、在惠更斯指点下从头学起，1675 年手稿里已出现 ∫（summa 拉长的 S）与 d（differentia）；1684 年《Acta Eruditorum》上的《新方法》让 calculus differentialis 正式问世。下表回答关键问题：两人交付的究竟是不是同一种东西。
| 牛顿 | 莱布尼茨 | |
|---|---|---|
| 完成时间 | 1665–66 | 1675–84 |
| 首次公开 | 1704（《Opticks》附录） | 1684 |
| 记号 | ẋ、ẍ | dx、、∫ |
| 记号语义 | 绑定「随时间流动」的物理图像 | 符号即算法：可直接操作的对象 |
| 证明风格 | 古典综合几何 | 代数式形式演算 |
差异的要害在记号：莱布尼茨的 dx 与 ∫ 不是缩写而是算子，乘除、代换、分部积分皆有章可循，记号本身承载推理；牛顿的点记号只速记结果。事后看，胜负在记号设计的那一刻已经注定。
「公正报告」的丑闻
若两人从未通信，本可双赢；引爆点恰是 1676 年那两封书信——牛顿以字谜暗示自己早有方法，莱布尼茨则坦陈了自己的路径。1699 年法蒂奥公开称牛顿为「第一发明人」、暗示莱布尼茨借读了通信，1708 年凯尔再度发难；莱布尼茨向皇家学会申诉，而学会主席正是牛顿本人。1712 年「调查委员会」发布《Commercium Epistolicum》报告，裁定牛顿优先——这份匿名的「公正」报告，执笔人就是牛顿。学术争议就此升级为国家叙事：爱国立场取代数学判断。1716 年莱布尼茨孤寂离世，争议熄火，分裂却制度化。
真正的输家
现在可以结算战争的账单。不列颠抱守点记号与《Principia》式几何，把欧陆新分析视为敌方遗产而拒绝；Bernoulli 家族、Euler、Lagrange 却在这套记号上建起十八世纪分析的黄金时代（欧拉与十八世纪分析）。孤立持续到 1812 年剑桥 Analytical Society 才告终——Babbage 那代人自嘲要「用纯粹的 D-ism 对抗大学的 dot-age」——此时欧陆已领先整整一个世纪。记号从来不只是书写习惯：深度学习从业者对此应有切身之感——backpropagation 本质上是 chain rule 的直系后代，而今天 autograd 里流淌的 ，仍是莱布尼茨式的算子记号。
地基悬空的无穷
地缘胜负已分，但双方共用的地基才是更大的隐忧：无穷小量到底是什么，两边都说不清。1734 年贝克莱主教在《The Analyst》中击中要害——增量既被当作非零来相除、又被当作零来舍弃，这是「消失量的幽灵」（ghosts of departed quantities）。这一击把微积分的地基空洞公之于众，成为 数学三次危机 中第二次危机的主战场。欧陆的回应是不管地基、继续狂飙形式计算；真正的重建要等到 Cauchy 与 Weierstrass 的 ε-δ 及实数理论（分析的严格化）。发明权之争决定了一个世纪的地缘格局，而「无穷是否合法」这张账单，微积分留给了整个十九世纪。