4.1 貝克萊主教的批評：無窮小是消逝量的幽靈#

一本小冊子攪動的風暴#

1734 年，愛爾蘭克羅因主教喬治·貝克萊（George Berkeley, 1685–1753）出版了長長書名的小冊子——《分析學家；或致一位不忠的數學家的論文》。表面上，他是在替一位早逝的年輕朋友（堅持不信教的數學家）抱不平：數學家一面譏笑神學的奧秘，一面自己仰賴著更玄的奧秘。

貝克萊的批評直插微積分的邏輯心臟。以 \(y = x^2\) 求導為例：

先給 \(x\) 一個增量 \(\Delta x\)，則 \(\frac{(x+\Delta x)^2 - x^2}{\Delta x} = 2x + \Delta x\)；
為了簡化，假設 \(\Delta x\) 不為零——否則不能相除；
再令 \(\Delta x\) 消失為零，得到 \(2x\)。

貝克萊追問：這些增量究竟是什麼？「既不是有限量，也不是無限小，也不是零——我們難道不能稱它們為消逝量的幽靈（ghosts of departed quantities）嗎？」他進一步指出：既然承認了錯誤 \(\Delta x \neq 0\)，中間步驟已經非法，最後的 \(2x\) 是「以錯誤補償錯誤」僥倖得到的。

批評為何有力#

貝克萊不是無理取鬧。牛頓本人對「最後比」的表述（「消逝之前」與「消失之後」）確實含糊；十八世紀的教科書更把無窮小當成可以任意伸縮的量。歐陸一樣不乾淨：歐拉坦然地把 \(\frac{d^2y}{dx^2}\) 說成 \(\frac{d^2 y}{dx^2}\) 中 \(dy\)、\(dx\) 皆為零之比，拉格朗日乾脆放棄極限、改用冪級數定義導數。

但批評也有一個經不起推敲之處：貝克萊承認微積分的結果是正確的，反對的只是其推理。這恰是問題的微妙之處——實踐的有效性跑在邏輯的合法性前面，十八世紀的分析學正是靠這種張力野蠻生長。

遲到的回應#

英國數學家麥克勞林（Colin Maclaurin）在《流數論》（1742）中以幾何窮竭法回應，試圖為流數術尋求古典嚴格性，但繁瑣難用；歐陸的反應則近乎冷漠。真正化解貝克萊之問的，是半個世紀後的達朗貝爾（「極限」的首次嚴格表述）、拉格朗日與更後的柯西、魏爾斯特拉斯——當 ε-δ 定義出現，無窮小被驅逐出邏輯舞台，幽靈才真正安息。

有趣的是，哲學家貝克萊在物質問題上的「存在即被感知」反而激勵了物理學（馬赫影響愛因斯坦），而他對數學的攻擊則意外推動了分析的嚴格化。

一位主教用神學的矛，刺穿了數學的盾——而數學最好的回應，不是反駁，而是把自己造得更堅固。