微積分的歷程：從牛頓到勒貝格

鄧納姆的 《微積分的歷程》並非按時間順序羅列史實，而是構建了一座定理美術館。他刻意避開了傳記式的宏大敘事，選擇用十幾幅具體的數學傑作來串聯微積分從草創到嚴密的300年進化史。這種以點帶面的寫法，讓我們能親手觸摸到分析學進化的紋理。 一、 奠基時代：直覺的狂飆與危機 書的前四章聚焦牛頓、萊布尼茨、伯努利兄弟和歐拉。鄧納姆沒有停留在“誰發明了微積分”的爭論上，而是直接解剖他們的原始推導。 牛頓的“魔術”：作者詳細還原了 《分析學》中牛頓利用廣義二項式定理和逆級數求面積（積分）的過程。我知道了牛頓如何通過“無窮小量”這一模糊但強大的工具，將曲線下的面積轉化爲無窮級數的求和，甚至推導出正弦函數的展開式。這種處理方式充滿了物理直覺，但也埋下了邏輯隱患。 歐拉的“形式主義”：歐拉處理無窮級數時那種“大膽假設、形式推導”的風格被展現得淋漓盡致。例如他對π的估值以及伽瑪函數的引入，在當時的數學框架下缺乏嚴格性，卻得出了驚人的正確結果。這展示了早期數學家“先解決問題，再考慮嚴謹”的實用主義哲學。 二、 轉折點：柯西與“ε-δ”的救贖 第五章“第一次波折”是全書的第一個分水嶺。鄧納姆指出，貝克萊主教對“無窮小幽靈”的質疑並非無理取鬧，而是精準命中了微積分的邏輯軟肋。 柯西登場：第六章是全書邏輯最緊密的部分。鄧納姆一步步展示柯西如何用極限的算術化定義（即ε-δ語言）重建了微積分的基礎： 他重新定義了連續、導數和積分，徹底拋棄了動態的“無窮小”，代之以靜態的“不等式控制”。 他證明了介值定理和微積分基本定理，將積分從“反微分”的直觀理解，提升爲“極限和的獨立存在”。 這一章讓我明白，微積分的現代化不是靠修補，而是靠重構語言體系。 三、 反直覺的巔峯：病態函數與集合論 從黎曼到貝爾，鄧納姆帶領讀者進入分析學的“深水區”，這裏充滿了反直覺的“怪物”。 黎曼的遺產：黎曼不僅給出了積分的現代定義（分割定義域求和），還構造了黎曼病態函數——在無理點連續、有理點間斷。這打破了“連續函數圖像是一條線”的幾何直觀。 魏爾斯特拉斯的“炸彈”：第九章詳細解析了處處連續但無處可微的函數。鄧納姆展示了魏爾斯特拉斯如何用級數構造出這種“鋸齒狀到極致”的函數，迫使數學家承認“可微性”是比“連續性”強得多的條件。 集合論的滲透：通過康托爾（不可數集）、貝爾（稠密性分類）和沃爾泰拉的工作，書中展示了點集拓撲如何成爲分析學的“基礎設施”。沃爾泰拉病態函數（存在導函數但不黎曼可積）更是直接暴露了黎曼積分的侷限性，爲勒貝格積分埋下伏筆。 四、 終章：勒貝格的維度革命 最後一章是全書思想的集大成者。鄧納姆沒有將勒貝格積分寫成晦澀的測度論教材，而是清晰地對比了“切x軸”與“切y軸”的本質區別。 黎曼的侷限：黎曼積分依賴於對定義域的分割，一旦函數振盪劇烈（如狄利克雷函數），它就失效了。 勒貝格的飛躍：勒貝格轉而分割值域，通過測量函數值落在某個區間的集合的測度來定義積分。這種視角轉換，使得處理不連續函數和函數空間變得自然。鄧納姆指出，這不僅是技術的升級，更是從“幾何直觀”到“集合論抽象”的認知躍遷。 結語：鄧納姆通過這十幾幅“定理畫像”，完成了一次數學思想的考古。他證明，微積分的歷史不是真理的線性堆積，而是一場“直覺創造-邏輯危機-嚴格重構”的螺旋上升。讀罷此書，我理解了爲什麼勒貝格積分是必然的產物——它不是數學家爲了炫技而發明的複雜工具，而是爲了解決黎曼遺留的“病態函數”問題，在集合論新地基上構建的必然歸宿。

這本書可以說是微積分的神作了，整個文章的邏輯推進幾乎稱得上完美，唯一沒中不足的是，最後勒貝格積分的耀眼工作都是一筆帶過，而沒有進行深入探討，這與之前討論不同階段微積分的問題的深入層面完全不同。當然也可以理解，勒貝格積分已經涉及到了太多集合論的內容，如果深入探討，那麼實分析的部分將會讓絕大多數讀者感到難以理解（即使只到這個層次，已經有很多人感慨是不是步子邁的太大了，但實際上不過是20世紀的微積分進展而已）。 微積分的起源，不論是從數學的進展還是從數學分析這門課的學習上，無窮級數都佔據了非常大的篇幅。牛頓和萊布尼茲創立微積分的目的是爲了求出函數某個區間內與X軸形成的面積，這同時也是無窮級數經常面臨的問題。甚至來說，最先試圖解決這個問題的正式無窮級數，而微積分是無窮級數思維不斷推進後自然而然的結果，可以說無窮級數是微積分誕生的源頭。因此這本書在一開始討論了牛頓、萊布尼茲無窮級數求面積的討論，以及他們對微積分的創立。然後再引出了伯努利兄弟和歐拉對微分和積分的討論，尤其是從無窮級數方面對無窮量的研究，在這個階段，微積分是幾何和代數結合起來的樸素思想產生的，數學家們面臨的是一個個具體的問題，他們的討論與研究都與具體的問題相關。 但是微積分的基礎依然是值得懷疑的，哪怕是歐拉的研究，也依然沒有真正說明白無窮小量到底是什麼，他到底是0，還是不是0，在牛頓和萊布尼茲使用的時候，他們在過程中始終都不是0，但是到了最後又都突然變成了0，這就導致微積分存在非常大的邏輯漏洞。雖然微積分的結果總是正確的，但也因此飽受攻擊，而且很多學者深信：這種不正確的基礎，必然有一天會導致某個問題使用微積分得到錯誤的結果。因此，微積分的第二個階段，就是討論如何解決它問題的過程。 在這一點上首先做嘗試的拉格朗日，這位著名的數學家，用最樸素的思想利用無窮級數的方式重新闡述了微積分。它確實去掉了幽靈般的無窮小量，讓無窮小量變得實在，但其缺點也很突出：它不僅泯滅了導數和函數切線上的聯繫，同時還面臨並不是所有函數都可以做到簡化得到導數，但這些函數的導數明顯是簡單存在。 接下來真正着手解決這兒問題的是柯西，他繼承了達朗貝爾的極限理論，指出無窮小量絕對不是0。換句話說，哪怕對應的每個區間的寬度無限接近於0，其寬度必然不是0，而只是一個可以任意小的寬度而已。柯西通過極限理論重新闡述了微積分，並且構建了非常漂亮的體系，包括收斂、連續、介值、可導和可積的思想，而且將其中看似不言而明的直觀結論進行了非常嚴謹的數學證明。可以說柯西打響了嚴謹微積分學的第一炮。 但是，柯西的很多理論一方面在證明過程中依然存在謂詞邏輯難以表達的問題，而且對於可積性的探討不足，黎曼着手解決了第二個問題。黎曼可積是微積分歷史上最偉大的革新之一了，他回答了到底是什麼是可積這個問題。但是，黎曼積分的定義反而提出了一個問題：對於一個有界閉區間來說，連續必然是可積的，有限間斷點也必然可積的，那麼無限間斷點是否是可積的呢？（注，有界意味着不會有無窮間斷點）。黎曼沒有真正回答這個問題，但是其對問題進行了非常深刻的闡述，他給出了一個病態函數，證明了，哪怕是一個處處不連續的函數，也可能是可積的。狄利克雷函數和直尺函數在這裏也需要提起，原因在於，狄利克雷函數處處不連續，而且黎曼不可積的，而直尺函數雖然在所有有理數點（無窮多個）都不連續，但是他卻是可積的；這與黎曼的病態函數形成了對比，無窮多個不連續點可能是可積的，也可能是不可積的，與此同時，狄利克雷函數的[0,1]上雖然沒有積分，但是其形成的面積必然小等於1，大等於0，這意味着樸素思想中是不是必然不可積呢？或者說黎曼可積其實隱藏了一些額外條件？這意味着黎曼可積是不完備的。 黎曼還發現了重排定理，也就是說，對於非絕對收斂的無窮級數和，可以通過重排趨近於任何值，這很隱晦的提出了可積性原理的問題，可能是絕對可積和條件可積的關係，但是黎曼並沒有完成這個問題的解釋。 而對於第一個謂詞邏輯的問題，是由魏爾斯特拉斯完成的，他完成了我們現代數學分析基礎的δ-ε的表述，徹底完成了柯西的極限邏輯，讓很多證明由此展開，可以說直接推動了微積分的發展。魏爾斯特拉斯還提出了一致收斂、一致連續等定義，讓古典的初等函數的可微性不再是一個需要探討的問題，而且他還提出了病態函數，證明了即使是處處連續的函數也不一定具有導數，這導致有一個問題提出來：可導必然連續，但是連續卻不一定可導，那麼到底是不連續到哪種情況下才可導呢？ 劉維爾之所以在這個歷程中出現，是由於他給出了一個非常漂亮的直覺：代數數相較於超越數來說可能是非常稀疏的，劉維爾不等式清晰的表達了這一點。而有理數，是代數數的子集，也就意味着直覺上有理數相較於無理數可能是非常稀疏的。爲了給出一個構造性的例子，劉維爾給出了一個數學史上第一個可證明的超越數，這個超越數讓劉維爾成爲了數論上名垂不朽的人物（對伽羅瓦成就的發掘是他的另一個成就但與微積分無關）。 在這裏，還要提到達布，達布證明了，一個函數的導數可能確實是不連續的，但必然滿足介值特性，這意味着滿足介值特性的也不一定是連續函數，這對柯西中值定理提出了質疑。 在第二個階段中，柯西、黎曼、魏爾斯特拉斯等人一方面着重於把微積分的邏輯體系徹底奠定基礎，但也由此提出了一些非常微妙而且有深度，但異常難以解決的問題：可積函數的不連續性到底到什麼程度（直尺函數和黎曼病態函數）；導數的不連續性又可以到什麼程度（達布中值定理）；連續函數在什麼情況下才是可導的（魏爾斯特拉斯病態函數）；我們可以找到一個和直尺函數相反的的函數：在無理數處是不連續的，在有理數處是連續的；以及最後一個問題，黎曼可積真的是完備的嗎，如果不完備，怎麼彌補呢？這涉及到了微分學和積分學中非常微妙的問題，讓微積分學陷入了一個到處都是孔洞的尷尬境地。這當然不妨礙微積分學在工程學上的使用，畢竟他們都是符合魏爾斯特拉斯的一致要求的，但是其醜陋的面孔足以讓任何數學家感到不適。 爲此，微積分的第三個階段開始了，也就是以康托爾的集合論爲基礎形成爲測度論，對微積分學進行更加精準描述和擴張。 首先就是康托爾，他創造性的提出了實屬的完備性，也就是說，對於一個逐漸所有的無窮嵌套開區間序列，必然有一個實數在所有開區間中。而且，他通過對代數高度的描述，證明了代數數是可數的，而有理數作爲代數數的子集，也依然是可數的。相反，根據實數的完備性，可數集的補集，是必然不可數的。他優雅的展示了集合論的威力，證實了劉維爾的樸素直覺：有理數是稀疏的，無理數集纔是龐大的遠大於有理數集的，兩者的充裕性存在巨大差異。 沃爾泰拉是另一位大師，雖然達布證明了只需要F可微，而且F導數是黎曼可積的（不再是柯西要求的導數連續），牛頓—萊布尼茲公式就是存在的，也就是說微分和積分就是可以相互轉換的。但依然面臨一個問題，那就是F導數必然黎曼可積是不是必須的要求，如果F導數本身黎曼可積就是其一個特性，那麼我們就不再需要達布的第二個條件了。那麼是這樣的嗎？沃爾泰拉回答了否，他提出了一個病態函數，證明了哪怕F是處處可微的，但是導數處處不連續（有界），F導數的定積分依然可能是不存在的。那麼這個限度在哪裏呢？漢克爾嘗試給出一個答案：一個可積函數最壞是點態不連續的（雖然不連續點是無窮多個，但是在一個稠密集中是連續的），但不幸的是這是不正確的（後面證明反過來是OK的）。沃爾泰拉也沒有完全回答這個問題，但是他爲後世解決問題給出了一個重要的證明，一個區間內，不存在兩個點態不連續函數，一個連續點是另一個不連續點，一個不連續點是另一個的連續點。這也獲得了推論，不存在一個無理數處是不連續的，有理數處是連續的。 貝爾，是真正解決了這個問題的大師。他不僅爲拓撲學提出了第N類集合的概念，並通過這個概念證明了一個可導函數的導數，最壞的結果是點態不連續的。也就是證明了漢克爾定理中反過來其實是成立的。由此，貝爾解決了可導函數的導數，不連續的程度可以到多大。但是這並沒有解決另一個問題：連續函數在什麼情況下才是可導的。這個問題可以轉過來去看，因爲一個函數如果是可積的，那麼他的原函數就必然是可導的，因此問題成爲了：一個函數在什麼情況下是可積的？貝爾和沃爾泰拉都沒有回答這個問題。 最後勒貝格登場，這也是這本書中沒有真正顯示出足夠光輝的一點點遺憾。他提出：只要不連續點是零測度的，就是可積的，這種優雅而簡單的解決問題的方法，解決了積分學一直以來的問題：他說明了爲什麼直尺函數黎曼可積，而狄利克雷函數黎曼不可積的。同時，勒貝格也意識到了黎曼函數的侷限性：即使基礎最樸素的思想，類似於狄利克雷函數不應該是不可積的，因爲，有理數畢竟是零測度的。因此，他提出了勒貝格積分，重新擴充了黎曼積分的定義，從此，黎曼病態函數、魏爾斯特拉斯病態函數、沃爾泰拉病態函數的病態性都被徹底消除了。而且，他重新回答了狄利克雷函數是可積性的問題（意味着勒貝格可積的函數數量遠遠大於黎曼可積），並且彌補了黎曼積分中對於函數序列極限號不能互換的問題（也就是對於某些有界無窮級數構成的函數，什麼情況下是黎曼可積的），以及重現了微積分學最簡單形式的光輝，讓微積分的一切，都變得井然有序，而且簡單優雅。 微積分學到這一步基本上可以說告一段落了，勒貝格讓微積分重新煥發光輝，他代表着分析學的一個巔峯。之後的一百年的時間裏，分析學進一步在代數學中逐漸融合了拓撲、幾何等元素，使得代數真正成爲了抽象的無窮盡頭，成爲了數學史最爲耀眼的明珠。

《微積分的歷程》解讀：工具先行、危機倒逼——一部以大師傑作爲展品的微積分思想進化史 書名原文：The Calculus Gallery: Masterpieces from Newton to Lebesgue，確定了本書是以12位核心大師的一手經典成果爲展品，搭建一座“微積分思想美術館”。 威廉·鄧納姆並未採用編年體傳記的寫法，而是將12位數學家的核心定理、原始構造與經典證明作爲“展廳展品”，串聯起微積分三百年的演進。其暗藏的核心敘事主線：微積分不是“先有嚴謹邏輯、再發展應用工具”的學科，恰恰相反，是計算工具的狂飆突進、應用邊界的不斷拓展，持續暴露底層邏輯的漏洞，倒逼一代代數學家修補地基，最終完成整個體系的嚴格化閉環。整部書展現微積分的思想進化本質是“工具擴張→矛盾爆發→危機倒逼→體系加固”的循環迭代。 一、第一階段：創世期——工具優先，邏輯爲算力讓路 核心展品：牛頓廣義二項式定理與流數術、萊布尼茨微分符號體系與分部積分、歐拉的級數運算與伽馬函數。 工具狂奔的時代：17-18世紀是微積分的“拓荒紅利期”。牛頓以運動學直覺造出流數術，瞬間解決了切線、極值、面積、弧長等千年幾何難題；萊布尼茨以代數化符號體系，讓微積分變成可批量操作的計算技術；伯努利兄弟將其拓展到變分、概率、力學；歐拉更是憑藉超凡的運算能力，把微積分打造成覆蓋級數、微分方程、複變函數的“分析帝國”，巴塞爾問題、歐拉恆等式、伽馬函數等成果，無一不是當時人類計算能力的巔峯。 這一階段的數學家有一個共同特點：只關心結果對不對，不關心邏輯通不通。牛頓的無窮小瞬o，在運算中先作除數（視爲非0），最後直接捨棄（視爲0）；萊布尼茨的dx是“無限小的線段”，始終沒有明確的數學定義；歐拉更是隨意對發散級數求和、交換無窮求和與積分的順序，全憑直覺和經驗判斷結果是否合理。 爲什麼邏輯缺位？——實用主義的必然選擇 鄧納姆通過原始推導還原了一個關鍵事實：不是早期數學家不懂嚴謹，而是在工具擴張期，嚴謹性會束縛算力。如果當時就糾纏於“無窮小到底是不是0”，微積分根本不可能在短短一百年內席捲力學、天文學、光學等幾乎所有自然科學領域。無窮小盡管邏輯上是“已死量的幽靈”，但它好用、高效、能出成果，這就足夠了。 第一次倒逼：貝克萊悖論與信任危機 工具用得越廣，漏洞就越顯眼。貝克萊《分析學家》的抨擊，本質不是哲學擡槓，而是精準擊中了微積分的邏輯雙標：同一套運算裏，無窮小既是0又不是0，完全違背形式邏輯。更關鍵的是，隨着級數研究深入，格蘭迪級數、條件收斂級數等案例開始出現：同一級數用不同方式計算，會得到完全不同的結果。這說明只靠直覺判斷“結果正確”已經靠不住了，底層規則不統一，早晚會出大錯。 第一次倒逼由此形成：微積分不能再靠“能用就行”混下去，必須給自己找一個自洽的邏輯基礎。 二、第二階段：第一次補牢——悖論倒逼下的極限框架 核心展品：柯西的極限定義、連續函數介值定理、微分中值定理、級數收斂判別準則。 柯西的補丁：用極限替換無窮小 面對貝克萊悖論和級數亂象，柯西做了第一件劃時代的事：把整個微積分的基礎，從模糊的“無窮小”，遷移到了清晰的“極限”之上。 他重新定義：無窮小不是一個固定的“極小量”，而是一個以0爲極限的變量；導數、積分、連續性，全部建立在極限概念之上。同時他首次系統建立了級數收斂的判別法則，明確區分收斂級數與發散級數，終結了歐拉時代“發散級數隨便用”的混亂局面。 這是微積分史上第一次大規模的“嚴謹化補丁”：應用中暴露的邏輯矛盾，倒逼數學家爲工具補上底層規則。 遺留漏洞：補丁之下的隱性默認 鄧納姆在書中特意指出了柯西體系的兩處致命缺陷，而這恰恰是下一輪倒逼的伏筆： 1. 極限定義仍依賴直覺：柯西用“無限趨近”“要多近有多近”這類自然語言描述極限，沒有徹底擺脫直觀； 2. 默認實數的完備性：柯西證明介值定理、中值定理時，默認了“實數軸沒有縫隙”，但實數到底是什麼、爲什麼完備，他從未證明，只是當作不證自明的事實。 3. 缺失一致收斂概念：柯西曾錯誤斷言“連續函數逐點收斂的極限仍是連續函數”，而傅里葉級數恰恰給出了“連續函數收斂到不連續函數”的反例。 這意味着，柯西只是把漏洞蓋住了，並沒有真正填上。一旦函數的複雜程度突破直覺邊界，這套框架就會再次失效。 三、第三階段：直覺崩塌——病態函數倒逼算術化與積分重構 核心展品：黎曼積分定義、狄利克雷函數、魏爾斯特拉斯處處連續處處不可微函數、沃爾泰拉反例。 倒逼背景：傅里葉分析打破“好函數”的邊界 19世紀熱學的發展，讓傅里葉級數成爲核心工具。傅里葉級數可以把大量不連續、不規則的函數展開成三角級數，這直接突破了柯西體系“默認函數連續、光滑”的前提。人們不得不面對一個問題：不連續的函數能不能積分？能積到什麼程度？應用需求倒逼積分定義升級，黎曼積分應運而生。 黎曼的拓展與新的困境：黎曼徹底拋棄了“積分是反導數”的直覺，改用“分割定義域、求和取極限”的方式定義積分，讓積分不再依賴函數的連續性。這是一次巨大的進步，但也立刻引出了更尖銳的問題： - 狄利克雷函數（有理點取1、無理點取0）：處處不連續，黎曼不可積。它第一次明確告訴人們：黎曼積分有明確的邊界，不是所有函數都能積分。 - 魏爾斯特拉斯病態函數：處處連續、處處不可微。它徹底擊碎了“連續函數至多在少數點不可導”的幾何直覺，證明幾何直觀完全不可靠，微積分必須徹底脫離幾何，走向純算術的嚴格化。 由此開啓了第二次大規模嚴謹化運動：魏爾斯特拉斯用\varepsilon-\delta、\varepsilon-N語言，把極限、連續、導數、一致收斂全部算術化，徹底清除了自然語言與幾何直覺的殘留，讓微積分第一次擁有了完全形式化的標準語言。 致命一擊：沃爾泰拉函數與基本定理的斷裂 如果說狄利克雷函數只是“邊角料函數不可積”，那沃爾泰拉構造的函數，則直接動搖了微積分的核心。沃爾泰拉函數滿足：函數處處可導，導數有界，但導數本身黎曼不可積。這意味着，在黎曼積分框架下，“先微分再積分”無法還原原函數，微積分基本定理不成立。這不是某個邊緣函數的問題，而是微積分核心運算的互逆性出現了結構性裂痕。 鄧納姆在此處的敘事非常明確：黎曼積分已經走到頭了。靠修修補補解決不了問題，必須發明一套全新的積分體系。而新積分的前提，是先搞清楚實數集的結構——爲什麼有的間斷點“可以忽略”，有的不行？ 四、第四階段：終極閉環——底層危機倒逼實數奠基與測度論革命 核心展品：康托爾集合論與實數構造、貝爾綱定理、勒貝格測度與勒貝格積分。 倒逼根源：所有問題最終都指向實數 魏爾斯特拉斯的算術化很嚴謹，但它建立在“實數完備”的前提上；黎曼積分的邊界，本質是“間斷點集合的大小”問題。這兩個問題最終匯於一點：必須嚴格構造實數體系，並且能量化一個實數點集的“大小”。 康托爾的集合論完成了第一步：他用有理數的柯西序列（或戴德金分割）嚴格構造了全體實數，證明了實數的完備性，同時定義了可數集與不可數集，第一次讓人們能比較無窮集合的“大小”。至此，微積分終於有了真正的算術地基，不再依賴“實數軸連續”的直覺默認。 勒貝格的範式革命：從“切x軸”到“切y軸” 面對黎曼積分的結構性缺陷，勒貝格沒有繼續修補，而是徹底換了一套積分邏輯： - 黎曼積分：分割定義域（x軸），計算每個小區間的函數高度，求和取極限； - 勒貝格積分：分割值域（y軸），計算每個高度對應的自變量集合的“測度”，再加權求和。 這套思路的核心，是用勒貝格測度替代傳統的“區間長度”，它可以衡量任意實數點集的“大小”——哪怕是無限個點組成的集合，也能量化其測度。由此，所有之前的“病態問題”全部迎刃而解： 1. 狄利克雷函數：有理點集測度爲0，因此勒貝格可積，積分值爲0； 2. 沃爾泰拉函數：其導數的間斷點集測度爲0，因此勒貝格可積，微積分基本定理完全恢復； 3. 函數項級數的逐項積分、逐項求導：由控制收斂定理給出嚴格成立條件，終結了柯西時代的結論錯誤。 最終閉環：到勒貝格這裏，微積分走完了三百年的進化全程： 從牛頓“憑直覺用無窮小計算”，到柯西“用極限建立初步框架”，再到魏爾斯特拉斯“用ε-δ徹底算術化”，最後到康托爾“奠定實數集合地基”與勒貝格“重建積分體系”。每一次升級，都不是數學家主動追求“更嚴謹”，而是應用邊界拓展後，舊框架裝不下新問題，不得不倒逼底層重構。 五、鄧納姆的歷史觀：微積分進化的三大底層規律 1. 嚴謹是結果，不是起點 數學的突破往往是實用主義先行：先造出能用的工具，解決現實問題，再在使用中暴露矛盾，最後回頭補全邏輯根基。微積分三百年，前一百五十年都在“帶病狂奔”，嚴謹性是被危機一步步逼出來的，而非一開始就設計好的藍圖。 2. 反例是進化的核心動力 全書最有衝擊力的展品，從來不是那些漂亮的定理，而是一個個打破直覺的反例：狄利克雷函數、魏爾斯特拉斯函數、沃爾泰拉函數。每一個反例都擊碎一次舊認知，倒逼定義重構、體系升級。鄧納姆用原始構造告訴讀者：數學的進步，不止靠證明定理，更靠構造反例來劃定邊界。 3. 直覺是階梯，也是枷鎖 牛頓靠運動直覺創立微積分，萊布尼茨靠幾何直覺發明符號；但最終完成嚴格化，恰恰需要徹底拋棄運動與幾何直覺，轉向純算術的形式語言。微積分的進化史，也是一部不斷擺脫直觀依賴、走向理性抽象的歷史。 《微積分的歷程》之所以成爲經典，正在於它沒有把微積分寫成一堆既定的定理公式，而是還原了它作爲“活的思想”的進化過程。鄧納姆用一件件“數學展品”證明：微積分的嚴謹性從來不是天賦的真理，而是在工具與邏輯的反覆博弈中，被一次次危機倒逼出來的、不斷自我修復的思想體系。

這是一本了不起介紹微積分發展歷史過程，它包括介紹牛頓，萊布尼斯等一系列偉大數學家在數學領域發展這門學科中，完美簡單易懂故事，特別是對於微積分，重點在積分之深入淺出的描述。 上面哲學意義似乎在與其陳述了一個事實，也就是一些所謂的一些可以用文字法則，只要符合可以用數學函數表達式描述，就可以計算其面積，例如，微積分表達式來做精確描述計算在平時工農業及軍事科學技術研究中，都有廣泛應用。這種從數學結構角度來描述其在現實世界也是從二十世紀大量應用開始。 本書介紹角度是從牛頓天才般數學表達展開式入門，其中穿差然後分析描述其意義而深入展開，令人大開眼界。並且，他“超越時代的專業才能和洞察力把無窮級數和流數法結合起來，將數學的前沿推向若干新的發展方向”。書中有不少數學證明的思想邏輯及如何證明步驟。 贊同作者所述，本書只能推薦給真正喜歡數學細節讀者，因爲其中數學公式推導太多。 作者相如數家珍一樣，介紹了一系列歷史上數學家們， 取得經典性或者特點成就與其推導過程，都像是些里程碑式數學公式與推倒與證明過程。例如，“歐拉對分析學的另一項重要貢獻：將階乘擴充到非整數值的歐拉思想”。 簡言之本書專業性強，加工讀起來費勁， 他對數學微積分語言發展歷史及故事描述，不容質疑精彩，儘管其語言本身就不易科普。當然，它太專業無法評價，例如，介紹了多種“病態函數”，及其它函數分類。爲什麼叫病態函數？這大概就是數學抽象語言特殊性。只能靠百度解惑，😎🤣😅。 作者儘管總結其就只是對微積分陳列室的參觀，欣賞了十三位數學家在創建微積分的歷程中的功績，按照建樹分爲三個獨立的歷史階段，或者三個獨立的學派。可惜，看得一頭數學霧水。哈嘿。 “現在我們面前的微積分和它開初是不同的。歷經數學家們的努力，微積分中的曲線已經變成函數，幾何方法已經提升爲代數方法，直覺思維已經轉化到冷靜的邏輯思維。最終發展成一門極端複雜和極具挑戰性的學科，這遠遠超出它的創建者們的預料”。

很棒的一本書。 有些有趣的事實： （1） 廣義的二項式展開公式：牛頓是第一個提出來的歐洲人（印度數學家更早提出，但並沒有傳播開來） （2）sin和cos的泰勒展開式，也是牛頓提出來的。後來纔有了泰勒展開，對這些公式進行了統一 （3）我們現在使用的微積分符號，很多都是萊布尼茲提出來的 （4）歐拉認爲積分依賴於微分並且因此而從屬於微分。 柯西不同意這種觀點。他認爲積分必須是獨立存在的，並且有相應的定義 （5）伯努利兄弟中，約翰伯努利發現了洛必達法則。洛必達是一個法國貴族，他出資讓伯努利出書，並獲得了洛必達法則的冠名權。

從牛頓到勒貝格 微積分，在馮·諾依曼的筆下，是「現代數學取得的最高成就，對它的重要性怎樣估計也不會過分」。馮·諾依曼鄭重其事地加上了定冠詞the，「the calculus」，以彰顯其獨特重要。 牛頓及萊布尼茨以降，歷經伯努利家族、歐拉、達朗貝爾、拉格朗日、拉普拉斯這些第一代微積分數學家的推進，從當年對曲線面積、月球軌道的小小演算，進而發展爲囊括極限、導數、無窮序列、無窮級數，衍生出分析力學、天體力學等方方面面的浩大學科。這一批先驅開闢了先路，後來的分析學家柯西、黎曼、劉維爾、魏爾斯特拉斯，康貝爾漸次跟進，將微積分確切化、精密化，解答出當年的「貝克萊悖論」，令第二次數學危機煙消雲散。最後勒貝格將黎曼積分收入囊中。 一代宗師萊布尼茨比牛頓年輕四歲，出身神聖羅馬帝國官宦世家、書香門第，家中三代出仕宮廷，父親是萊比錫大學教授。萊布尼茨自幼飽讀名家著作，接受過良好的教育，1676年，三十歲的萊布尼茨已經前往巴黎擔任外交官四年。 也正是在巴黎四年的歷練改變了萊布尼茨的生活軌跡。剛抵達巴黎時，他還只是一個數學新手，連重心的正確定義都不大懂，對笛卡爾的代數了解也不深刻。很快，他結交了法國巴黎科學院奠基人、光學宗師惠更斯，迅速汲取着科學養料。他還兩度訪問英國，與英國學者們建立聯絡。短短四年之內，萊布尼茨便已經在微積分領域取得突破，開始利用無限小技巧去求解曲線圍合的面積。這個數學新手已經迅速成長爲一位宗師。 勤奮與天才的共同作用，讓他得以獨立於牛頓再度發明微積分。與牛頓從天體軌道計算入手創立微積分的道路不同，萊布尼茨以數學家身份，從幾何學切線面積問題發散，提出了同樣的數學理論，二者殊途同歸。

最近學微積分，最大的收穫，並不在於計算能力的提升，而是建立了一種更底層的認知模型： 假設—算法—收斂驗證。只要一個設想，能夠在某個方向上呈現出收斂趨勢，它就值得被繼續推進。這種思維方式，本質上是在連續空間中做路徑篩選——它讓人能夠迅速判斷，哪些路徑具有結構性可能，哪些只是噪聲和幻覺。 更有意思的是，一流的數學家，並不是在“解題”，而是在創造概念的入口。他們像變戲法一樣，把最關鍵的結構，從混沌中引出來。一旦那個概念被正確地命名和構造出來，剩下的一切，幾乎只是展開。 牛頓就是一個極端的例子。他並不承認“面積”是預先存在的、可以被切割和累加的對象。在他的視角里，世界中並沒有所謂靜態的“面積塊”。 面積，是在變化過程中被不斷生成的，是一個隨着自變量推進而“生長”出來的量。 函數的取值在運動，曲線下的累積也在運動。 所謂面積，不過是這種運動的一個投影。 換句話說：形式不是被發現的，而是在變化中自然湧現的。 定積分，起點本身並不重要。真正重要的是——變化，如何創造積累。 一個連續變化的過程，並不需要依賴複雜層次的加法去逼近。只要找到描述這個過程的“原函數”，那麼所有的累積信息，都會被壓縮在一個極其簡潔的結構裏：終點減去起點。 一個區域內部的複雜信息，往往可以由其邊界來決定。 內部可以是混沌的、連續的、難以窮盡的，但一旦邊界被刻畫清楚，整體結構就已經被鎖定。 我甚至會用一個很簡單的隱喻去理解它：老鼠。 無論人類如何建造高牆與結構，總會存在某種路徑，使它們能夠穿越過去。只要存在連續性，就意味着一定存在路徑；只要存在路徑，再複雜的結構，也存在“可穿越路徑”。

這本書跟古今數學思想是我讀過最好的數學史書，深度都很好，不像大部分書像講八卦故事一般粗淺，概念泛泛而談不成體系，這本屬於專題史所以專題角度脈絡比古今數學思想清晰（但我最喜歡還是古今數學思想，只是到20世紀初就沒了意猶未盡）

微積分是我們人類發現周圍世界的產物，是我們認識世界的工具，是歷經幾代數學家們的努力，微積分中的曲線已經變成函數，幾何方法已經提升爲代數方法，直覺思維已經轉化到冷靜的邏輯思維。最終發展成一門極端複雜和極具挑戰性的學科。

非常好的一本書，介紹了微積分的發展歷程，給我們展示了數學分析作爲一個非常重要的數學工具是如何一步步發展起來的，如何逐步完善的。 數學體系在一代又一代數學家的不懈努力中不斷成長，從小樹苗長成參天大樹，還會有更大的前景