第四部：抓鬼特攻隊——嚴謹化的長征
消失量的幽靈與貝克萊的主教之怒
1734 年，英國
雖然微積分在天文學和物理學上取得了巨大成功，但它始終面臨著一個致命的質疑：它的邏輯基礎是什麼？
喬治·貝克萊 (George Berkeley) 主教寫了一本名為《分析學家》的小冊子。他在書中刻薄地諷刺微積分中的「無窮小量」：
「它們是什麼？它們既不是有限量，也不是無限小，也不是零。難道它們是消失量的幽靈 (Ghosts of departed quantities) 嗎？」
主教的質疑點中了微積分的死穴。當時的數學家在使用 $dx$ 時，有時把它當作零（忽略它），有時又把它當作非零（作為分母）。這種隨意的態度在邏輯上是站不住腳的。
數學家們感受到了前所未有的危機。如果這門描述真理的語言在邏輯上是有瑕疵的，那麼它所描述的宇宙真理還可信嗎？
柯西的嚴防死守與魏爾斯特拉斯的鐵律
1821 年，法國，巴黎
奧古斯丁·路易·柯西 (Augustin-Louis Cauchy) 站在巴黎綜合理工學院的講台上。他的學生們對他那極其嚴謹、甚至有些枯燥的講課風格感到頭痛。
柯西將「幽靈」趕出了數學大廈，用極限重新定義了微積分。
柯西意識到，不能再依賴幾何直覺或物理想像了。他決定用一個抽象但強大的工具來重新定義微積分，那就是「極限」(Limit)。
他不再去爭論 $dx$ 到底是不是零。他定義了一個過程：如果一個變量相繼的值無限趨近於一個定值，且兩者之差最終能小於任何給定的量，這個定值就是極限。
這是一場智力上的大掃除。柯西將那些模糊不清的「幽靈」趕出了數學大廈。
隨後，德國數學家卡爾·魏爾斯特拉斯 (Karl Weierstrass) 進一步完善了這套體系。他引入了著名的 $\epsilon - \delta$ 定義，徹底將微積分轉化為一套純粹的邏輯運算。
微積分從此告別了「天才的直覺」時代，進入了「邏輯的鐵律」時代。
尾聲：三千年的迴響
從阿基米德在沙灘上畫下的第一個多邊形，到克卜勒對酒桶的迷思；從牛頓與萊布尼茲的輝煌發現，到柯西與魏爾斯特拉斯的嚴謹定型。
這不僅僅是一段數學史，這是人類試圖用有限的生命去捕捉無窮、用靜止的語言去描述動態世界的壯麗史詩。
每當你拿起筆，寫下那個優美的 $\int f(x)dx$ 時，請記得，這個簡單的符號背後，隱藏著人類三千年來對真理最深沉、最偏執、也最迷人的追求。
（全書完）