莱布尼茨 — 数学家

生平

戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz，1646—1716）是德国数学家、哲学家和博学家，被誉为"最后一个通才"。他出生于莱比锡，父亲是莱比锡大学的道德哲学教授。莱布尼茨6岁丧父，但继承了父亲的大量藏书，从小就展现出惊人的学习天赋。

莱布尼茨15岁（1661年）进入莱比锡大学学习法律。1666年，莱比锡大学以他年纪太轻为由拒绝授予他法学博士学位，他遂转往纽伦堡附近的阿尔特多夫大学（University of Altdorf）。1666年11月15日，他在那里通过博士论文《论法律中的疑难案例》（De Casibus Perplexis in Jure）的答辩，并于1667年2月正式获颁法学博士学位，时年20岁。他的学术兴趣极其广泛，涵盖数学、哲学、逻辑学、物理学、法学、历史学、语言学和神学。他一生与约 1100 位通信人往来了约 15000 封信件，身后还在汉诺威留下约 5 万件、共 15 万至 20 万页未刊手稿，是历史上最多产的学者之一。这批莱布尼茨手稿群已被联合国教科文组织（UNESCO）列入"世界记忆名录"。

1672年至1676年，莱布尼茨在巴黎担任外交官期间发展了微积分的基本思想。1675年10月29日，他在一份未发表的手稿中首次引入了积分符号 $\int$ （拉长的"S"，取自拉丁语 summa "求和"）；几周后的同年11月，他又引入了微分符号 $dx$。1684年，他在《学术纪事》（Acta Eruditorum）上发表了第一篇关于微分学的论文；1686年，发表了关于积分学的论文。

莱布尼茨与牛顿就微积分的发明权进行了长达数十年的激烈争论。英国数学家支持牛顿，欧洲大陆数学家支持莱布尼茨。现代史学界普遍认为两人独立发明了微积分，但莱布尼茨的符号系统（$dx$, $\int$ ）因其优越的表达力而被广泛采用。

争论在1711年后白热化。1712年，身兼皇家学会会长的牛顿指定了一个名义上"中立"的调查委员会，成员却清一色是他的支持者，没有一位欧洲大陆数学家。委员会次年发表的报告《通信文献》（Commercium Epistolicum，1712—1713）判定牛顿是第一发明人。后世研究证实，这份"公正裁决"实有大段出自牛顿本人之手，他还匿名撰写书评抨击莱布尼茨。

莱布尼茨晚年贫困潦倒，1716年11月14日在汉诺威去世。他的葬礼极为简陋，只有他的秘书参加了葬礼。直到200多年后，德国政府才为他举行了正式的追悼仪式。

核心贡献

微积分的发明

莱布尼茨独立于牛顿发明了微积分。他的方法与牛顿不同——牛顿从物理学（运动学）出发，莱布尼茨从几何学（切线和面积）出发。

莱布尼茨的微分符号：

莱布尼茨引入了一套精妙的符号系统，至今仍是微积分的标准语言：

$dx$ —— $x$ 的无穷小增量（微分）
$dy/dx$ —— $y$ 对 $x$ 的导数
$\int y \, dx$ —— $y$ 对 $x$ 的积分（ $\int$ 是拉丁语 summa 的首字母 S 的拉长形式）

微分法则：

莱布尼茨建立了微分的基本运算法则：

和差法则： $d(u \pm v) = du \pm dv$
乘积法则： $d(uv) = u \, dv + v \, du$
商法则： $d\left(\frac{u}{v}\right) = \frac{v \, du - u \, dv}{v^2}$
链式法则： $\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}$

莱布尼茨积分公式：

莱布尼茨将积分视为无穷小量的求和：

$\int_a^b f(x) \, dx = \lim_{n \to \infty} \sum_{i=1}^{n} f(x_i) \Delta x_i$

他还发展了莱布尼茨积分法则（含参变量积分的求导）：

$\frac{d}{dt} \int_{a(t)}^{b(t)} f(x,t) \, dx = \int_{a(t)}^{b(t)} \frac{\partial f}{\partial t} \, dx + f(b(t),t) \cdot b'(t) - f(a(t),t) \cdot a'(t)$

莱布尼茨公式

莱布尼茨发现了 $\pi$ 的无穷级数表示（莱布尼茨-格雷戈里公式）：

$\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1}$

这是 $\pi$ 的最简洁的无穷级数表示之一。它收敛极慢——截断到 $N$ 项后的误差约为 $\frac{1}{2N}$ ，于是每多算对一位小数，项数大约就要乘以 10：要把 $\pi$ 算到小数点后 10 位，得累加约 50 亿（ $5\times10^9$ ）项。即便如此，它揭示了 $\pi$ 与反正切函数（ $\arctan 1 = \pi/4$ ）之间的深刻联系。莱布尼茨还发现了高阶导数的乘积法则（莱布尼茨法则）：

$(uv)^{(n)} = \sum_{k=0}^{n} \binom{n}{k} u^{(k)} v^{(n-k)}$

这与二项式定理形式完全一致，展示了微分运算与代数运算的美妙类比。

四则运算计算机

帕斯卡（Blaise Pascal）的加法机只能做加减，莱布尼茨想更进一步。1672年起，他在巴黎与钟表匠合作，设计一台能完成加、减、乘、除全部四则运算的机械计算机——这是历史上第一台。

1673年1月他携木制模型访问伦敦，2月1日在英国皇家学会演示，并因此于同年4月当选学会会员；机器本身到1694年前后才大致完成。

它的核心是一个叫"步进鼓"（Staffelwalze，又称"莱布尼茨轮"）的部件：鼓面上排着九条长度递增的齿，曲柄转一圈就把某个数累加一次，于是乘法被化简为机械的连续累加。受限于当时的加工精度，加之进位机构有设计缺陷，这台机器始终未能稳定工作。但"莱布尼茨轮"的构思极为长寿——从19世纪托马斯（Thomas de Colmar）的商用计算器（Arithmometer）到20世纪的台式机械计算机，它一直是机械计算的核心部件。

行列式与线性方程组

在1693年写给法国数学家洛必达（l'Hôpital）的一封信里，莱布尼茨为判断线性方程组有无解，写下了由系数排成的"结式"（resultant）——也就是今天所说的行列式（determinant）。这是行列式思想在欧洲的首次出现，他实质上已触及后来才正式提出的克拉默法则（Cramer's rule）。这项工作直到1850年才随其手稿刊布。有意思的是，几乎同时（约1683年），与世隔绝的日本数学家关孝和（Seki Takakazu）在《解伏题之法》中独立提出了更一般的行列式理论，比莱布尼茨还早十年——这是东西方数学罕见的平行发现。

二进制

莱布尼茨是第一个系统研究二进制（binary system）的欧洲数学家。1679年3月15日，他写出了关于二进制的完整手稿。二进制只用两个数字 0 和 1 来表示所有数：

$1 = 1, \quad 2 = 10, \quad 3 = 11, \quad 4 = 100, \quad 5 = 101, \ldots$

莱布尼茨对二进制的兴趣部分来自他的哲学思想——0 和 1 可以代表"无"和"有"，对应上帝从虚无中创造世界的创世论。

这里要澄清一个常见误解：莱布尼茨并非"从《易经》得到二进制"。他早在1679年的手稿《二进制级数》（De Progressione Dyadica）里就写下了完整的运算规则。直到1701年，他与身在北京的法国耶稣会传教士白晋（Joachim Bouvet）通信，白晋才指出《易经》中由阴阳爻组成的六十四卦排列恰好对应二进制的 0 到 63。1703年，莱布尼茨在巴黎科学院《院刊》上发表《二进制算术阐释》（Explication de l'Arithmétique Binaire），既给出运算规则，也讨论了它与伏羲卦象的对应。换言之，《易经》是这套体系一个东方的印证，而非它的来源。

虽然莱布尼茨没有预见到计算机的出现，但他的二进制研究为现代计算机科学奠定了基础。所有现代计算机都使用二进制来表示和处理数据。

符号逻辑的先驱

莱布尼茨是符号逻辑（symbolic logic）的先驱。他梦想创造一种"普遍语言"（characteristica universalis），能够将所有思想用符号表示，并通过计算来解决争论。

他的设想包括： 1. 概念代数：用符号表示概念，并建立运算法则 2. 推理演算：将逻辑推理转化为符号运算 3. 普遍语言：一种能够精确表达所有思想的人工语言

虽然莱布尼茨的设想在他有生之年未能实现，但他的思想深刻影响了19世纪的逻辑学家布尔、弗雷格和罗素，最终导致了数理逻辑的诞生。

单子论

在哲学方面，莱布尼茨提出了单子论（monadology）——一种独特的形而上学体系。他认为宇宙由无数个单子（monads）组成，单子是没有部分、不可分割的精神实体。

单子的特点： - 没有窗户：单子之间没有直接的相互作用 - 前定和谐：上帝在创世时就安排好了所有单子的和谐运动 - 知觉和欲望：每个单子都有知觉（反映宇宙的能力）和欲望（从一个知觉状态过渡到另一个的内在倾向）

莱布尼茨的哲学思想与他的数学工作密切相关——微分的无穷小概念与单子的不可分割性有深刻的类比关系。

历史背景

莱布尼茨生活在德国三十年战争（1618—1648）结束后的重建时期。这场战争摧毁了德国三分之一的人口和经济，但也促进了德国各邦国的文化复兴。在数学方面，17世纪是微积分革命的时代。笛卡尔的解析几何、费马的极值方法、巴罗的切线和面积关系——这些工作为微积分的诞生创造了条件。牛顿和莱布尼茨的贡献是将这些分散的方法统一为一个系统化的理论。

莱布尼茨与牛顿的优先权之争是科学史上最著名的争论之一。虽然两人独立发明了微积分，但他们的方法有本质区别： - 牛顿从物理学出发，关注运动和变化率 - 莱布尼茨从几何学出发，关注切线和面积 - 牛顿的符号（ $\dot{x}$ ）适合物理学，莱布尼茨的符号（$dx$, $\int$ ）适合纯数学

思想遗产

莱布尼茨的遗产体现在多个领域：

微积分符号：$dx$, $dy/dx$, $\int$ 成为微积分的国际语言，至今仍是数学教育的基础
二进制：成为现代计算机科学的基础
符号逻辑：启发了布尔、弗雷格和罗素，导致数理逻辑的诞生
哲学：单子论影响了康德、黑格尔和怀特海
科学组织：莱布尼茨于1700年7月创立柏林科学院（即后来的普鲁士科学院）并出任首任院长，还为德累斯顿、维也纳、圣彼得堡等地筹建科学院四处奔走，推动了科学研究的制度化

欧拉、拉格朗日、拉普拉斯等18世纪的数学大师都使用莱布尼茨的符号系统进行研究，这使得欧洲大陆的数学发展远远超过了坚持牛顿符号的英国。

与其他数学家的关系

牛顿：与莱布尼茨独立发明微积分，引发了著名的优先权之争
欧拉：继承并发展了莱布尼茨的符号系统和分析学方法
笛卡尔：笛卡尔的解析几何为莱布尼茨的微积分提供了重要基础
巴罗：牛顿的老师，莱布尼茨在巴黎期间阅读了巴罗的讲义
伯克利：批评微积分的无穷小概念缺乏逻辑基础
布尔：实现了莱布尼茨符号逻辑的部分设想

跨域连接

证明：好记号的价值在于把推理变成可以不假思索执行的操作——微分记号让链式法则与换元看上去像约分。推论是：记号决定哪些步骤可以被机械化，因此它不是装饰，而是后来证明能交给机器逐步检查的前提。判据也简单：一套记号若要求使用者每一步都回想它的含义，它就还没完成机械化。
布尔：把概念运算写成代数，推理就变成符号计算，这正是"普遍语言"设想里可实现的那一半。推论是：逻辑一旦代数化就能用电路直接实现，判定一个命题的真假退化为求一个函数的值——这条路径后来确实走通了。
语言哲学："我们来算一算吧"要能成立，前提是概念可以被无歧义地分解为原子。推论是：如果意义依赖使用与语境，原子化就不可能，争论也就无法交给计算——这个前提恰恰是后来语言哲学攻击的靶心，而非枝节分歧。
翻译运动：符号体系跨文明传播时，接收方总把它嵌进自己已有的解释框架，于是"影响"与"事后印证"极易被混淆。推论是：判断谁影响谁只能看一手材料的时间顺序，而不能看两套体系有多像——相似度本身不构成证据。
无意识：微知觉的构想是：存在低于觉察阈的知觉，它们叠加起来才浮出意识。推论是：这可以用阈下呈现来检验——若刺激完全未被加工，它就不该对随后的判断产生任何可测偏移，测到偏移则支持该假说。

参考文献

Maria Rosa Antognazza, Leibniz: An Intellectual Biography, Cambridge University Press, 2009.（公认的权威学术传记）
A. Rupert Hall, Philosophers at War: The Quarrel between Newton and Leibniz, Cambridge University Press, 1980.（微积分优先权之争的经典研究）
Florian Cajori, A History of Mathematical Notations, Vol. II, Open Court, 1929.（莱布尼茨微积分记号的考据）
Eberhard Knobloch, "Leibniz's Theory of Elimination and Determinants," in E. Knobloch, H. Komatsu & D. Liu (eds.), Seki, Founder of Modern Mathematics in Japan, Springer Proceedings in Mathematics & Statistics 39, Springer, 2013.
UNESCO Memory of the World, "Letters from and to Gottfried Wilhelm Leibniz"（汉诺威 Gottfried Wilhelm Leibniz Bibliothek 馆藏；书信与手稿数量的权威依据）.
"Leibniz's Philosophy of Physics," Stanford Encyclopedia of Philosophy（同行评审；vis viva/活力部分）.

「这个世界是所有可能世界中最好的。」——莱布尼茨

生平#

核心贡献#

微积分的发明#

莱布尼茨公式#

四则运算计算机#

行列式与线性方程组#

二进制#

符号逻辑的先驱#

单子论#

历史背景#

思想遗产#

与其他数学家的关系#

跨域连接#

延伸阅读#

参考文献#

生平