本書導覽：

無限的矛盾，無限的力量

◎文／賴以威（長庚大學電子工程學系助理教授與數學作家）

　　「我把這扇門掩上一半，再掩剩下的一半，不斷重複下去，這扇門也永遠不會被關上。」

　　國中時，老師站在教室前門旁解釋無限的概念。

　　對現在的我來說這不難回答——

　　「不對，造成永遠的錯覺是『會重複無限次的掩門』，但到後來每次掩門的幅度都是無限小，門最終還是會被關上。」

　　但我永遠記得當時對老師的這項譬喻有多麼困擾，順著老師的邏輯，彷彿可以看到門就算被關上了，依然存在一道微微的縫隙。在那之前的數學課儘管複雜，可是只要遵循規則，按部就班就能理解。直到無限的出現，是第一次我覺得數學課裡也有「無法理解，只好先記起來」的觀念。

　　現在，儘管能破解無限的矛盾，能解釋阿基里斯為什麼能追上烏龜，能知道一尺之棰，日取其半，必然有取完的那天。但那樣的理解就好像回答「為什麼天空是藍色的？」、「因為空氣折射的緣故。」

　　只是拿了一個名詞、一套道理來解釋，並沒有真正理解背後的原因。甚至可以說，是因為相處久了，在課本、考卷裡面出現夠多次，就習以為常，覺得無限的概念是理所當然了。

　　不是的，無限小一點都不理所當然，他是個在歷經了上百年激辯後，才正式被引入的數學概念，背後還牽扯了超出數學之外的宗教、政治糾葛。

　　本書從馬丁．路德的宗教改革開始，當時羅馬教廷勢力衰退，作為教廷忠誠部屬的耶穌會趁勢興起。以菁英份子組成的耶穌會在各地辦學，他們推崇階級與秩序。在克里斯多佛．克拉維烏斯（Christopher Clavius）的努力下，服膺於邏輯性的數學地位逐漸提高，作為耶穌會宣揚紀律性的強而有力工具。握有數學知識，他們便能宣稱握有真理。數學也沒辜負他們的期待。

　　曆法過時一直是古人面臨的問題，西元500年左右，中國有祖沖之與祖恆父子兩代努力，推行大明曆。西元1700 年左右，日本有澀川春海改良中國曆法，製成大和曆。曆法的制定需要豐富的天文、量測以及不可或缺的數學知識。不論是祖氏父子或是澀川春海都是一時的數學名家。在西方，則由耶穌會的克里斯多佛．克拉維烏斯領銜，協助教廷制定了全新的格里高里曆法。這套曆法相當精確，逼得歐洲各地儘管已經因為宗教改革而與教廷漸行漸遠，甚至反對教廷，但還是得乖乖接受格里高里曆法，變相承認了頒布曆法的教宗權威性。

　　數學可以強行讓人接受真理，並擊潰謬誤，建立起取代混亂與困惑的穩固秩序與確定性。

　　耶穌會以數學做武器，在宗教改革上打了一場漂亮勝仗，從此也更重視數學。正確地說，他們認為數學是個最好的例子，代表一切都該從定理出發，現實生活中的每件事都必須遵循一定的規則。數學提供了一個完美的理性模型，讓人們看清宇宙真理是如何統治世界。

　　然而，當時的數學世界裡尚未存在能夠解釋無窮小的定理，但數學家們已經從愈來愈多的地方發現這個無可迴避的概念。於是，數學家想從現實生活的觀察，反過來歸納出一個新的定理。推崇數學的耶穌會卻毫不猶豫地站到了打壓新知的那側。

　　從不同教派的宗教之爭，在一方執起數學獲得勝利後，手中的數學卻反噬主人，展開了另一場數學之爭。

　　許多耳熟能詳的科學家、數學家都參加了這場數學之爭， 被尊為現代科學之父的伽利略（Galileo Galilei）帶領他的兩位徒弟卡瓦列里（Bonaventura Cavalieri）與托里切利（Evangelista Torricelli），前仆後繼地提出對無限小、不可分量的詮釋。課本裡的托里切利是以發明了氣壓計而聞名，在這本書裡我們看到了他另一個偉大的貢獻，他發表了一篇「拋物線面積（De dimensione parabola）」，裡面極其華麗地用上了21種不同方式去證明拋物線與一條直線相夾的面積，其中有10種用上了不可分量的概念。這篇論文的重點根本不在拋物線面積，而是在介紹不可分量、無限小。

　　儘管數學家看到了無限小的廣泛用途（有一半以上的證明需要靠引入無限小的概念才能完成），但耶穌會堅決反對。他們設立了「總校訂（Revisors General）」這個最高地位的學術審查機構，扮演著類似那個時代的「金盾」腳色，把所有對教會帶來混亂與不安的知識排除在耶穌會主導的教育機構之外，無限小是數學界的新概念，他甚至推翻了一些傳統幾何的想法；從這個角度來看，他就像數學界的宗教改革，耶穌會無論如何都要將他的聲浪壓下來。

　　這次對決中，耶穌會佔了上風，哪怕面對的是伽利略與銳眼協會（L'Accademia Nazionale dei Lincei，現今的義大利國家科學院），那個時代最強的宗教團體成功地馴服了數學，讓數學依然作為宗教秩序而存在。

　　然而，如果把格局拉大，這場數學的戰爭還沒結束，只是換了一個戰場，到英國重新開始。在差不多的時間，英國也上演了一場關於無限小的學術論戰，場上的選手更是赫赫有名。站在否定無限小那方的是政治哲學名著《巨靈論》的作者霍布斯（Thomas Hobbes）。身為那個時代最有名的哲學家之一，他在過世前的自傳裡認為自己最偉大的成就竟然是解開了一題經典數學難題——化圓為方，畫出一個和圓一樣面積大小的正方形。

　　可惜的是，他解錯了。

　　連同這條錯誤的解答，他否定無限小的立場遭受到英國皇家學會（Royal Society）創辦人之一，約翰．瓦里斯（John Wallis）的猛烈抨擊。當時英國學術界在培根的倡行下，實驗是驗證、發現科學知識的重要途徑。也因為這種想法，從現實狀況觀察到的無限小概念，自然能較被接受，並且透過歸納法，成為了數學領域新的一分子。在瓦里斯發明了「∞」的無限符號後，這個符號被他的晚輩牛頓（Isaac Newton）開花結果，建立出了微積分，成為現代許多科學、科技的基礎。

　　當然， 在微積分的身上同樣少不了戰爭， 屬於牛頓跟萊布尼茲（Gottfried Wilhelm Leibniz）的發明人之爭，不過那又是另一件故事了。

　　我想，這本書其實就很像托里切利的21 道拋物線面積證明，名為介紹拋物線，實則宣揚無限小概念；名為介紹數學概念，實則介紹了整個中世紀錯綜複雜的學術、宗教、信念之爭。我們現今認為很多理所當然的觀念，其實背後往往都有一長串故事，一群遠比我們聰明的人在努力。我有時候會想，如果說我們覺得課本裡的數學無趣，那很可能不是知識本身的問題，而是我們學習的方法，將前人所有的努力濃縮成一行結果、一條式子，讓知識失去了靈魂，只剩下冰冷的軀殼。

　　這本書重新替無限符號「∞」注入了靈魂。

　　

內容簡介：

對世界深具影響力的數學理論背後的故事，對現代社會如何形成的讀者應該會有興趣
支持無限小，成為英國進步的關鍵；相反的，耶穌會卻認為這個觀念既危險又具顛覆性，也因而失去了各地科學家、數學家和哲學家的支持。

現代世紀的靈魂取決於無限小
無限小的戰爭是一場你死我活的生存之戰，無限小的勝利帶來了現代文明的進步

一六三二年八月十日，五位穿著飄拂黑袍的人，受召在一棟堂皇卻陰沉的羅馬建築物中，裁定一個令人誤以為簡單的理論：一條連續的線是由獨立但無限的微小部分組成。耶穌會的神父們大筆一揮，禁止了無限小的概念，宣布永遠不能教授這個理論，甚至連提都不准提。他們認為這個概念危險又具顛覆性，對世界是一個有秩序的地方，而且由一套嚴格而不變的規定所治理的這個信仰有威脅。如果接受了無限小，耶穌會害怕整個世界都將墮入混沌。

獲獎歷史學家阿米爾．亞歷山大在《無限小》中揭發了耶穌會這個裁決背後的深層原因，並敘述無限小的理論如何繼續，終於成為微積分與許多現代數學、現在科學理論與科技的基礎。的確，並非所有人都贊同耶穌會。歐洲各地的哲學家、科學家與數學家都接受無限小，並將之視為科學進步、思想自由以及更寬容社會的關鍵。一如亞歷山大在書中所揭露的，支持與反對無限小的兩大陣營在開打前，歐洲的階級與秩序力量就已經在對抗多樣化和改變的力量了。

這個故事把我們從歐洲宗教戰爭與英國內戰的血腥戰場，帶到當時最偉大的數學家與哲學家的生活中，包括伽利略、艾塞克．牛頓、貝拉明樞機主教、湯瑪斯．霍布斯、克里斯多佛．克拉維烏斯與約翰．瓦里斯。在義大利，無限小的挫敗預告了這個國家主導歐洲文化的朝代已經結束；而在英國，無限小的勝利則幫助了這個島國走向了世界第一個現代國家之路。

從德國的帝國城市到英國薩里郡，從羅馬教廷到倫敦皇家學會的大堂，亞歷山大闡述了一個數學觀念的歧異如何演變成天體與地球的爭論。無限小的矛盾與彈性對應到政治態度的獨斷與民主政體，摒除無限小，除了教宗與國王的正統性，還有我們所相信的人類自由與進步的科學，全都岌岌可危。

【名家推薦】
「阿米爾．亞歷山大用高度的智慧與超凡的精力，勾勒出史上一次著名的論爭，大家爭辯著數學能否簡化成具有條理與邏輯性的嚴謹推論模式，或者相反的，數學可否成為探索世界奧秘的一種無限制且振奮人心的努力方式)。《無限小》告訴我們數學課程為什麼在現代世界如此受到重視。」
——劍橋大學科學歷史教授賽門．夏佛（Simon Schaffer）

「阿米爾．亞歷山大在《無限小》中，為數學成為現代主角的濫觴，提供了一個新的演繹。他重新賦予無限小戰爭中各個主人翁鮮活的生命，就像他們仍活在我們身邊，卻保存了歷史的真貌。他的筆無縫融合了文化歷史與故事性，娓娓地並行道出數學概念與數學名人的出現。如此有趣的數學歷史，自古以來都是鳳毛麟角。」
——哥倫比亞與巴黎狄德羅大學數學教授麥可．哈里斯（Michael Harris）

「你可能難以置信大名鼎鼎的數學家、哲學家與宗教思想家會為了無限小參與一場辛辣的爭議，但這確實是十七世紀發生的事情。在《無限小》這本書中，阿米爾．亞歷山大將這場引人入勝的戰爭，化成了歷史與知識。」
——太空望遠鏡科學研究院（Space Telescope Science Institute）天體物理學家與《出色謬誤》（Brilliant Blunders）作者馬里歐．李維歐（Mario Livio）

「我們自以為知道故事的全貌：哥白尼、伽利略、太陽中心論、教會輕率的責難。出色的《無限小》，卻將原子論的這個深度顛覆理論與相關的數學理論，置於現代科學的核心位置。」
——加州洛杉磯分校傑出歷史教授瑪格麗特．雅各（Margaret C. Jacob）

「阿米爾．亞歷山大在這本魅力十足的書中，生動地重塑科學歷史上一段陌生到讓人覺得奇妙的章節。原來條理縝密的數學分析基礎之爭，竟是毫不誇張的生死大事；狂熱的耶穌會與英國哲學家，為了幾何學的本質爭論不休，背後牽動的是雙方懸而待決的社會命運。看了這本書，微積分在你眼中，絕對不會再和以前一樣了。」
——威斯康辛大學麥迪遜分校數學教授與《怎麼不錯》（How Not to Be Wrong）作者喬丹．艾倫伯格（Jordan Ellenberg）

「一段引人入勝的故事，闡述了一個數學概念的力量，如何改變這個世界。阿米爾．亞歷山大優雅又活力十足地寫下了熱情、政治與知識的追求如何在數學的競技場上碰撞，然後創造出現代的面貌。每一頁都滿載著非凡人物與想法的迷人故事，《無限小》能幫你更深刻地了解這個世界。」
——加州柏克萊分校數學教授與《愛與數學》（Love and Math）作者愛德華．法蘭柯（Edward Frenkel）

賴以威（長庚大學電子工程學系助理教授與數學作家）
公孫策（歷史評論家）
彭甫堅 （臺中中港高中數學老師）

目錄：

〈導讀〉無限的矛盾，無限的力量 賴以威
〈推薦〉新想法的成功之道——有智慧、有策略地說服舊秩序 公孫策

前言：出國的大臣
法國大臣索必耶拜訪英國，也受到倫敦皇家學會的熱情招待，但是索必耶卻盛讚皇家學會的敵人霍布斯，並害得自己遭路易十四驅出宮廷。幕後隱情其實跟當時的數學理論戰爭頗有關連。

第一部 對抗失序的戰爭：耶穌會與無限小的對立
第一章 聖羅耀拉的弟子
耶穌會創建在一個天主教開始沒落的時代，羅耀拉的依納爵和他的弟子們展開一連串復興天主教的行動，但其中最耀眼的成就，卻是在各地區建立的教育學院。

第二章 數學秩序
耶穌會的教育體系中，原本並不特別注重數學，但在克拉維烏斯神父持續努力下，終於成為耶穌會的教育重心。耶穌會重視數學，因為數學是一種以邏輯步驟說出真理、無人能否定其證明結果的學科，但這時的數學，仍以歐幾里得數學理論為主。

第三章 數學失序
虔誠的教徒伽利略，也是當時最偉大的科學家。他為了自己的學說，槓上了耶穌會和教廷，最終被送進宗教審判所，人生最後十幾年都在軟禁中度過。伽利略的弟子卡瓦列里與托里切利持續提出不可分量和無限小的理論證明，更持續增強耶穌會想要壓制這個矛盾理論的決心，無限小的戰爭即將引爆。

第四章 你死或我亡：「無限小」的戰爭
耶穌會總校訂決議整個耶穌會體系都不得教授與討論無限小。耶穌會和支持伽利略的銳眼學會之間，為了維持歐幾里得幾何學理論或迎接新的無限小方式而開戰。

第五章 數學家的戰役
支持歐幾里得幾何學論點的耶穌會數學家古爾丁、貝蒂尼與塔凱，與支持無限小與不可分量學說的耶穌教團卡瓦列里、托里切利和安潔里，雙方舌戰和筆戰不休。表面上是數學論戰，實際上耶穌會數學家還為了護衛神學上的論點。

第二部 《巨靈論》與無限小
第六章 《巨靈論》的出現
英國內戰和空位期當時的民不聊生與內部動亂，令卡文迪許家族的家臣霍布斯，寫下哲學傑作《巨靈論》。

第七章 幾何學家湯瑪斯．霍布斯
幾何學中，每一個結果都是建立在另一個較簡單的結果之上，因此可以一步步符合邏輯地向前推進，從不證自明的真理，朝著愈來愈複雜的真理邁進。霍布斯因此認為數學應該沒有解不開的難題。

第八章 約翰．瓦里斯是何方神聖？
在數學家瓦里斯的眼中，數學毫無貴族氣息，徹頭徹尾就是一個得到有用結果的實用工具。也因此，他和「隱形大學」（後來成為「皇家學會」）的夥伴使用數學的方式與霍布斯大相逕庭。

第九章 新世界的數學
歸納法和實驗數學，讓皇家學會的會員與英國菁英分子逐漸將這種開放討論與有彈性的態度應用到學術與政治立場上，於是英國邁上君主立憲之途，各種科學研究和科技也不斷開花結果，於是英國成為歐洲最先現代化的國家。

後記：兩個現代
隨著無限小戰爭的開打，義大利的尖端數學停滯不前，英國的數學卻快速成為主導歐洲的國家傳統之一，僅有法國可與之匹敵。

人物表
大事記
致謝辭