0

0
0

文字

分享

0
0
0

《無限小》新書導讀

賴 以威
・2015/12/06 ・2748字 ・閱讀時間約 5 分鐘 ・SR值 558 ・八年級

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

國中時,老師站在教室前門旁解釋無限的概念。對現在的我來說這不難回答。

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

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

-----廣告,請繼續往下閱讀-----
Eye_of_Horus_square
想知道「1/2 + 1/4 + 1/8 + 1/16 + … = 1」是如何證明的,可以參考wiki

現在,儘管能破解無限的矛盾,能解釋阿基里斯為什麼能追上烏龜,能知道一尺之棰,日取其半,必然有取完的那天。但那樣的理解就好像回答:

「為什麼天空是藍色的?」

「因為空氣折射的緣故。」

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

-----廣告,請繼續往下閱讀-----

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

《無限小:一個危險的數學理論如何形塑現代世界》這本書從馬丁路德的宗教改革開始,當時羅馬教廷勢力衰退,作為教廷忠誠部屬的耶穌會趁勢興起。以菁英份子組成的耶穌會在各地辦學,他們推崇階級與秩序。在 克里斯多佛•克拉維烏斯(Christopher Klau)的努力下,服膺於邏輯性的數學地位逐漸提高,作為耶穌會宣揚紀律性的強而有力工具。握有數學知識,他們便能宣稱握有真理。

數學也沒辜負他們的期待。

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

-----廣告,請繼續往下閱讀-----

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

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

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

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

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

-----廣告,請繼續往下閱讀-----

這篇論文的重點根本不在拋物線面積,而是在介紹不可分量、無限小。

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

Index_Librorum_Prohibitorum_2
當時所有的出版品,都要接受耶穌會「總效訂」的審核,圖為羅馬教廷所製作的《禁書目錄》(已廢除)。 Source: Wiki

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

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

-----廣告,請繼續往下閱讀-----

可惜的是,他解錯了。

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

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

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

-----廣告,請繼續往下閱讀-----

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

本篇轉自:賴以威老師FB

getImage《無限小:一個危險的數學理論如何形塑現代世界》。Amir Alexander著,商周出版。

-----廣告,請繼續往下閱讀-----
文章難易度
賴 以威
32 篇文章 ・ 10 位粉絲
數學作家、譯者,作品散見於聯合報、未來少年、國語日報,與各家網路媒體。師大附中,台大電機畢業。 我深信數學大師約翰·馮·諾伊曼的名言「If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is」。為了讓各位跟我一樣相信這句話,我們得先從數學有多簡單來說起,聊聊數學,也用數學說故事。 歡迎加入我與太太廖珮妤一起創辦的: 數感實驗室

0

0
0

文字

分享

0
0
0
從奈米微塵到化學氣體, HEPA 與活性碳如何聯手打造純淨空氣?
鳥苷三磷酸 (PanSci Promo)_96
・2026/04/17 ・4433字 ・閱讀時間約 9 分鐘

本文由 Amway 委託,泛科學企劃執行。

很多人可能沒想到,無論是家用的空氣清淨機,還是造價動輒百億的頂尖晶圓廠,它們對抗污染的核心武器並非什麼複雜的雷射防護罩,而是一片外觀像紙一樣的 HEPA 濾網
在半導體產業的無塵室中,「乾淨」的定義極其殘酷:一粒肉眼看不見的灰塵,就足以讓造價數百萬美元的晶圓直接報廢 / 圖片來源:envato

到底怎樣才算是「乾淨」?這不是什麼靈魂拷問,而是一個價值上億的商業命題。

在半導體產業的無塵室中,「乾淨」的定義極其殘酷:一粒肉眼看不見的灰塵,就足以讓造價數百萬美元的晶圓直接報廢。空氣品質的好壞,甚至能成為台積電(TSMC)決定是否在當地設廠的關鍵性指標。回到你的家中,雖然不需要生產精密晶片,但我們呼吸系統中的肺泡同樣精密,卻長期暴露在充滿 PM2.5、病毒以及各種揮發性氣體的環境中。為了守護健康,你可能還要付費購買「乾淨的空氣」來用。

因此,空氣議題早已超越單純的環保範疇,成為同時影響國家經濟與個人健康的重要問題。

-----廣告,請繼續往下閱讀-----

很多人可能沒想到,無論是家用的空氣清淨機,還是造價動輒百億的頂尖晶圓廠,它們對抗污染的核心武器並非什麼複雜的雷射防護罩,而是同一件看起來平凡無奇的東西:一片外觀像紙一樣的 HEPA 濾網。但你真的相信,就憑這層厚度不到幾公分的板子,能擋住那些足以毀滅精密晶片、滲透人體細胞的「奈米級刺客」嗎?

這片大家都聽過的 HEPA 濾網,裡面到底是什麼?

首先,我們必須打破一個直覺上的誤解:HEPA 濾網(High Efficiency Particulate Air filter)在本質上其實並不是一張「網」。

細懸浮微粒 PM2.5,是指粒徑在 2.5 微米以下的污染物,它們能穿過呼吸道直達肺泡,並穿過血管引發全身性發炎。但這只是基本,在工廠與汽車尾氣中,還存在粒徑僅有 1 微米的 PM1,甚至是小於 0.1 微米的「超細懸浮微粒」(UFP,即 PM0.1)。 UFP 不僅能輕易進入血液,甚至能繞過血腦屏障(BBB),進入大腦與胎盤,其破壞力十分可怕。

如果 HEPA 濾網像水槽濾網或麵粉篩一樣,單靠孔目大小來「過濾」粒子,那麼為了攔截奈米微粒,濾網的孔目只能無限縮小到幾乎不透氣的程度。更別說在台積電或 Intel 的製程工程師眼裡,一般人認為的「乾淨」,在工程師眼裡簡直像沙塵暴一樣。對於線寬僅有 2 奈米3 奈米(相當於頭髮直徑萬分之一)的晶片而言,空氣中一顆微小的塵埃,就是一顆足以毀滅世界的隕石。

-----廣告,請繼續往下閱讀-----

因此,傳統的過濾思維並非治本之道,我們需要的是原理截然不同的過濾方案。這套技術的雛形,最早可追溯至二戰時期的「曼哈頓計畫」。

HEPA 的前身,誕生於曼哈頓計畫!

1940 年代,製造濃縮鈾是發展原子彈的關鍵。然而,若將排氣直接排向大氣,會導致致命的放射性微粒擴散。負責解決這問題的是 1932 年諾貝爾化學獎得主歐文·朗繆爾(Irving Langmuir),他是薄膜和表面吸附現象的專家。他開發了「絕對過濾器」(Absolute Filter),其內部並非有孔的篩網,而是石綿纖維。

有趣的來了,如果把過濾器放到顯微鏡下,你會發現纖維之間的空隙,其實比某些被攔截的粒子還要大。那為什麼粒子穿不過去呢?這是因為在奈米尺度下,物理規則與宏觀世界完全不同。極微小的粒子在空氣中飛行時,並非走直線,而是會受到空氣分子撞擊,而產生「布朗運動」(Brownian Motion),像個醉漢一樣東倒西歪。

當粒子通過由緻密纖維構成的混亂迷宮時,布朗運動會迫使它們不斷轉彎、移動,最終撞擊到帶有靜電的纖維上。這時,靜電的吸附力會讓纖維就像蜘蛛網般死死黏住微粒。那些狂亂移動的奈米刺客,就這樣被永久禁錮迷宮中。

-----廣告,請繼續往下閱讀-----

現在最常見的 HEPA 材料,是硼矽酸鹽玻璃纖維。

現代 HEPA 濾網最常見的核心材料為硼矽酸鹽玻璃纖維。這些玻璃纖維的直徑通常介於 0.5 至 2 微米之間,它們在濾網內隨機交織,像是一座茂密「黑森林」。微粒進入這片森林後,並非僅僅面對一層薄紙,而是得穿越一個具有厚度且排列混亂的纖維層,微粒極有可能在布朗運動的影響下撞擊並黏附在某根玻璃絲上。

除此之外,HEPA 濾網在外觀上還有一個極具辨識度的特徵,那就是像手風琴般的摺紙結構。濾材會被反覆摺疊、摺成手風琴的形狀,中間則用鋁箔或特殊的防潮紙進行結構支撐,目的是增加表面積。這不僅為了捕獲更多微粒,而是要「降低過濾風速」。這聽起來可能有點反直覺:過濾不是越快越好嗎?

其實,這與物理學中的流速控制有關。想像一條水管,如果你捏住出口,水流會變得湍急;若將出口放開並擴大,雖然總出水量不變,但出水處的流速會變得緩慢。對於 HEPA 濾網而言,當表面積越大,單位面積所需承載的空氣量就越少,空氣穿透濾網的速度也就越低。

低流速代表微粒停留在濾網內的時間也更久,增加被捕捉的機會。此外,越大的表面積也為 HEPA 濾網帶來了高「容塵量」,延長了使用壽命,這正是它能夠稱霸空氣清淨領域多年的主因。

-----廣告,請繼續往下閱讀-----

然而,即便都叫做 HEPA 高效率空氣微粒子過濾網 (High Efficiency Particulate Air filter),但每個 HEPA 的成分與結構還是會不一樣。例如 安麗逸新空氣清淨機 SKY ,其標榜「可過濾粒徑最小至 0.0024 微米」的污染物,去除率高達 99.99%。

0.0024 微米是什麼概念?塵蟎、花粉、皮屑或黴菌孢子,大小約在 2 至 200 微米;細懸浮微粒  PM2.5 大小約 2.5 微米,細菌也大概這麼大。最小的其實是粒徑小於 0.1 微米的「超細懸浮微粒」,大多數的病毒(如流感、新冠病毒)都落在此區間。對安麗逸新 的HEPA濾網來說,基本上通通都是可被攔截的榜上名單。

在過敏防護上,它更獲得英國過敏協會(Allergy UK)認證,能有效處理 19 大類、102 種過敏原,濾除空氣中超過 300 種氣態與固態污染物。

同樣的過濾邏輯一旦進入半導體無塵室,就必須換一條更為嚴苛的技術路線。因為硼矽酸鹽玻璃纖維對晶圓來說有個致命傷,就是「硼 (Boron)」 / 圖片授權:Shutterstock

然而,同樣的過濾邏輯一旦進入半導體無塵室,就必須換一條更為嚴苛的技術路線。因為硼矽酸鹽玻璃纖維對晶圓來說有個致命傷,就是「硼 (Boron)」。

在半導體製程中,硼是常見的 P 型摻雜物,用來精準改變矽晶圓的電性。如果濾網有任何微小的破損、老化或化學侵蝕,進而釋放出極微量的硼離子,就可能直接污染晶圓,改變其導電特性,導致晶片報廢。

此外,無塵室要求的是比 HEPA 更極致的 ULPA(超低穿透率空氣濾網) 等級的潔淨度。ULPA 的標準通常要求對 0.12 微米 的粒子達到 99.999% 甚至 99.9999% 的超高攔截率。在奈米級的競爭中,任何多穿透的一顆微塵,都代表著一筆不小的經濟損失。

-----廣告,請繼續往下閱讀-----

為了解決「硼」的問題並追求極限的過濾效率,材料學家搬出了塑膠界的王者,PTFE 也鐵氟龍。鐵氟龍不僅耐酸鹼、耐腐蝕,還能透過拉伸製成直徑僅 0.05 至 0.1 微米 的極細纖維,其細度遠勝玻璃纖維。雖然 PTFE 耐化學腐蝕,但它既昂貴且物理上也很脆弱,安裝時若不小心稍微觸碰,數萬元的濾網就可能報銷。因此,你只會在晶圓廠而非一般家庭環境看到它。

即便如此,在空氣濾淨系統中,還有一樣是無塵室和你家空氣清淨器上面都有的另一張濾網,就是活性碳濾網。

活性碳如何從物理攔截跨越到分子吸附?

好不容易將微塵擋在門外時,危機卻還沒有解除。因為空氣中還隱藏著另一類更難纏的大魔王:AMC(氣態分子污染物)

HEPA 或 ULPA 這類物理濾網雖然能攔截固體微粒,但面對氣態分子時,就像是用網球拍想撈起水一樣徒勞。這些氣態分子如同「幽靈」一般,能輕易穿過物理濾網的縫隙,其中包括氮氧化物、二氧化硫,以及來自人體的氨氣與各種揮發性有機物(VOCs)。

-----廣告,請繼續往下閱讀-----

為了對付這些幽靈,我們必須在物理防線之外,加裝一道「化學濾網」。

這道防線的核心就是我們熟知的活性碳。但這與烤肉用的木炭不同,這裡使用的是經過特殊改造的「浸漬處理(Impregnation)」活性碳。材料科學家會根據敵人的不同性質,在活性碳上添加不同的化學藥劑:

  • 酸鹼中和:對付氮氧化物、二氧化硫等酸性氣體,會在活性碳上添加碳酸鉀、氫氧化鉀等鹼性藥劑,透過酸鹼中和反應將有害氣體轉化為固體鹽類。反之,如果添加了磷酸、檸檬酸等酸性藥劑,就能中和空氣中的氨氣等鹼類。
  • 物理吸附與凡德瓦力:對於最麻煩的有機揮發物(VOCs,如甲醛、甲苯),因為它們不具酸鹼性,科學家會精密調控活性碳的孔徑大小,利用龐大的「比表面積」與分子間的吸引力(凡德瓦力),像海綿吸水般將特定的有機分子牢牢鎖在孔隙中。
活性碳如何從物理攔截跨越到分子吸附? / 圖片來源:Amway

空氣濾淨的終極邏輯:物理與化學防線的雙重合圍

在晶圓廠這種對空氣品質斤斤計較的極端環境,活性碳的運用並非「亂槍打鳥」,而是一場極其精密的對戰策略。

-----廣告,請繼續往下閱讀-----

工程師會根據不同製程區域的空氣分析報告,像玩 RPG 遊戲時根據怪物屬性更換裝備一樣——「打火屬性怪要穿防火裝,打冰屬性則換上防寒裝」。在最關鍵的黃光微影區(Photolithography),晶圓最怕的是人體呼出的氨氣,此時便會配置經過酸性藥劑處理的活性碳進行精準中和;而在蝕刻區(Etching),若偵測到酸性廢氣,則會改用鹼性配方的濾網。這種「對症下藥」的客製化邏輯,是確保晶片良率的唯一準則。

而在你的家中,雖然我們無法像晶圓廠那樣天天進行空氣成分分析,但你的肺部同樣需要這種等級的保護。安麗逸新空氣清淨機 SKY 的設計邏輯,正是將這種工業級的精密防護帶入家庭。它不僅擁有前述的高規 HEPA 濾網,更搭載了獲得美國專利的活性碳氣味濾網。

關於活性碳,科學界有個關鍵指標:「比表面積(Specific Surface Area)」。活性碳的孔隙越多、表面積越大,其吸附能力就越強。逸新氣味濾網選用高品質椰殼製成的活性碳,並經過高溫與蒸氣的特殊活化處理,打造出多孔且極致高密度的結構。

這片濾網內的活性碳配重達 1,020 克,但其展開後的總吸附表面積竟然高達 1,260,000 平方公尺——這是一個令人難以想像的數字,相當於 10.5 個台北大巨蛋 的面積。這種超高的比表面積,是市面上常見濾網的百倍之多。更重要的是,它還添加了雙重觸媒技術,能特別針對甲醛、戴奧辛、臭氧以及各種細微的異味分子進行捕捉。這道專利塗層防線,能將你從裝潢家具散發的有機揮發氣體,或是路邊繁忙車流的廢氣中拯救出來,成為全家人的專屬空氣守護者。

總結來說,無論是造價百億的半導體無塵室,還是守護家人的空氣清淨機,其背後的科學邏輯如出一轍:「物理濾網攔截微粒,化學濾網捕捉氣體」。只有當這兩道防線同時運作,空氣才稱得上是真正的「乾淨」。

進一步了解商品:https://shop.amway.com.tw/products/2071?navigationType=brand&

-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

鳥苷三磷酸 (PanSci Promo)_96
246 篇文章 ・ 319 位粉絲
充滿能量的泛科學品牌合作帳號!相關行銷合作請洽:contact@pansci.asia

0

0
0

文字

分享

0
0
0
【Gene思書齋】無限小如何形塑現代世界?
Gene Ng_96
・2016/11/22 ・3647字 ・閱讀時間約 7 分鐘 ・SR值 558 ・八年級

-----廣告,請繼續往下閱讀-----

我是數學白痴,真的。很多人以為唸理科的,數學一定很好,才怪。因為我數學不好,所以才選擇唸生命科學,只是唸了才發現,原來還是要面對不少數學,如生物統計、計算生物學、生態學、族群遺傳學、分子演化,都用了不少數學,更甭提大一大二還得要上的微積分、物理和物理化學。

https://www.youtube.com/watch?v=VjeHabZDWMk

2016 年有部電影《天才無限家》(The Man Who Knew Infinity),很值得看,連一個我超愛的說書脫口秀節目《一千零一夜》主持梁文道這位文人(請參見〈一千零一夜個經典〉),也在推薦了這部關於印度天才數學家斯里尼瓦瑟‧拉馬努金(Srinivasa Ramanujan,1887—1920)的電影,也談了《費馬最後定理》(Fermat’s Last Theorem)這本書,以及數學是什麼。

 

我就自不量力,來談本和數學有關的歷史書吧,就是這本《無限小:一個危險的數學理論如何形塑現代世界》(Infinitesimal:How a Dangerous Mathematic Theory Shaped the Modern World)。即使是外行,還是會覺得數學是極為優雅的,可是歷史學家與數學家艾米爾‧亞歷山大(Amir Alexander),卻要告訴我們,數學也有過混亂,中間涉及的不僅只有數學家,還有宗教家。

-----廣告,請繼續往下閱讀-----

ba8006

無限小》的故事,主要是發生在十六、十七世紀,爭論的是直線、平面圖形和固體,是否由無限的不可分量所構成?《無限小》中的各種爭論,要追溯到古希臘時期。公元前六世紀,畢達哥拉斯(Πυθαγόρας,約前580-前500)和追隨者,認為數學可以解釋世界上的一切事物,對數字癡迷到幾近崇拜,同時認為一切真理都可以用比例、平方及直角三角形去反映和證實。從他開始,希臘哲學開始產生了數學的傳統。

那些古代數學中的黑暗面

希帕索斯。圖/Public Domain
希帕索斯。圖/Public Domain

相傳無理數最早由畢達哥拉斯學派弟子希帕索斯(Ἵππασος)發現。他以幾何方法證明√2,無法用整數及分數表示,並引發了第一次數學危機。而畢達哥拉斯深信任意數均可用整數及分數表示,不相信無理數的存在。希帕索斯發現不可公度量(incommensurability),推論不同的量(magnitube)不是由獨立的微小原子,亦即無限小所構成。畢達哥拉斯派同道將其淹死滅口,然後他就死掉了。所以這批人,玩數學是超認真的,會鬧出人命的。

公元前五世紀,來自古希臘愛琴海北部海岸的自然派哲學家德謨克利特(Δημόκριτος,前460—前370或前356)利用無限小,計算圓錐體與圓筒體的體積。然而,伊利亞的芝諾(Ζήνων,約前490-前430),提出幾個矛盾問題,指出無限小引發的衝突,從此無限小遭到古代數學家規避。

-----廣告,請繼續往下閱讀-----

古希臘數學家,被稱為「幾何學之父」,亞歷山卓的歐幾里得(Ευκλειδης,前325—前265),在經典巨著《幾何原本》(Elements)中,謹慎地避開無限小。《幾何原本》一直是西方兩千年來的範本。但後來的古希臘數學家阿基米德(Αρχιμήδης,公元前287—公元前212),卻用無限小實驗,在幾何圖形的面積和體積上卓有成就。

宗教戰爭燒到數學的「無限小」

後來希臘被羅馬滅了,而羅馬因異族入侵和宗教愚昧而進入中世紀。《無限小》的故事開場,是文藝復興時的宗教戰爭。1517 年,德國基督教神學家,宗教改革運動的主要發起人,基督教新教信義宗教會(即路德宗)的開創者馬丁•路德(Martin Luther,1483-1546)在當地教會的門上貼出布告九十五條論綱,列出反對贖罪券的九十五條論點,徵求學術的辯論,拉開了天主教和新教長達兩世紀鬥爭的序幕。

1540 年,耶穌會(Societas Iesu)創建在一個天主教開始沒落的時代,羅耀拉的依納爵(San Ignacio de Loyola,1491-1556)和他的弟子們展開一連串復興天主教的行動,但其中最耀眼的成就,卻是在各地區建立的教育學院。

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

-----廣告,請繼續往下閱讀-----

1544 年,阿基米德作品的拉丁文版在瑞士巴賽爾出版,學者接觸到他對無限小的研究。十六世紀末至十七世紀初,歐洲數學家對無限小的興趣死灰復燃。

然而,耶穌會中負責裁決理論的「總校訂」(Revisors General)室,發表了一連串針對無限小的公開譴責。他們認為這個概念危險又具顛覆性,對世界是一個有秩序的地方,而且由一套嚴格而不變的規定所治理的這個信仰有威脅。如果接受了無限小,耶穌會害怕整個世界都將墮入混沌。

虔誠的教徒伽利略(Galileo Galilei,1564-1642),也是當時最偉大的科學家。他提出對無限小、不可分量的詮釋,槓上了耶穌會和教廷。伽利略的老友當上教宗烏爾班八世(Pope Urban VIII,1568-1644),他公開支持伽利略及其追隨者,1623-31年是伽利略在羅馬如魚得水的自由時期。然而1631年,瑞典新教國王古斯塔夫•阿道夫二世(Gustav II Adolf,1594-1632),與神聖羅馬帝國相爭開戰,節節獲勝,改變了歐洲勢力平衡。

在傳統主義者的節節進逼之下,烏爾班八世一改初衷,不再支持伽利略。耶穌會總校訂室,禁止了無限小的概念,宣布永遠不能教授這個理論,甚至連提都不准提。伽利略最終被送進宗教審判所,人生最後十幾年都在軟禁中度過。

-----廣告,請繼續往下閱讀-----

伽利略的弟子卡瓦列里(Bonaventura Francesco Cavalieri,1598- 1647)與托里切利(Evangelista Torricelli,1608-1647)持續提出不可分量和無限小的理論證明,更持續增強耶穌會想要壓制這個矛盾理論的決心,耶穌會和支持伽利略的銳眼學會(Accademia dei Lincei)之間,為了維持歐幾里得幾何學理論或迎接新的無限小方式而開戰。

支持歐幾里得幾何學論點的耶穌會數學家,與支持無限小與不可分量學說的耶穌教團,雙方舌戰和筆戰不休。表面上是數學論戰,實際上耶穌會數學家還為了護衛神學上的論點。《無限小》揭示了這種禁令背後的深刻背景,通過耶穌會和銳眼學會之間交戰的驚心動魄故事,說明耶穌會如何拼命努力帶領飽受戰爭蹂躪的歐洲回到維穩和諧和天主教專制秩序,可是卻犠牲了義大利的藝術、數學和科學發展。

英國的崛起

由於耶穌會成功地禁止在義大利教授無窮小的概念,《無限小》的故事舞台,轉到原本比義大利落後的英國去。《無限小》指出,在義大利,無限小的挫敗預告了這個國家主導歐洲文化的朝代已經結束;而在英國,無限小的勝利則幫助了這個原本落後的島國走向了世界首個現代國家之路。

英國內戰和空位期當時的民不聊生與內部動亂,令卡文迪許家族的家臣,威權主義的十七世紀的哲學家霍布斯(Thomas Hobbes,1588-1679),寫下哲學傑作《巨靈論》(Leviathan),是法律、秩序的有力倡導者。和天主教神權專制不同的,霍布斯的解決空位無政府狀態的方法,是要人民交出權力給專制君主,來保護他們免受戰爭和混亂。但與天主教的專制相同的,霍布斯的目標是維穩和諧以維護和平。無論霍布斯和耶穌,都把自己的政治理想訴諸歐幾里得幾何,試圖以其有序的演繹證明產生絕對真理。

-----廣告,請繼續往下閱讀-----

但在數學家瓦里斯(John Wallis,1616-1703)的眼中,數學毫無貴族氣息,徹頭徹尾就是一個得到有用結果的實用工具。瓦里斯是第一個使用 ∞ 這個符號的數學家。也因如此,他和「隱形大學」的夥伴使用數學的方式與霍布斯大相逕庭。「隱形大學」後來收到英王查理二世的許可狀,成為聲譽卓越非凡的「皇家學會」(Royal Society)。

《無限小》指出,歸納法和實驗數學,讓皇家學會的會員與英國菁英分子逐漸將這種開放討論與有彈性的態度應用到學術與政治立場上,無限小的理論終於成為微積分與許多現代數學、現在科學理論與科技的基礎。英國邁上君主立憲之途,各種科學研究和科技也不斷開花結果,於是英國成為歐洲最先現代化的國家。

4726717261_d45960733f_z
無限小的理論終於成為微積分與許多現代數學、現在科學理論與科技的基礎。圖 / By fdecomite @ flickr

牛頓(Sir Isaac Newton,1643-1727)以無限小的理論做實驗,發展出微積分的技法,和萊布尼茲(Gottfried Wilhelm Leibniz,1646-1716)共同創立了微積分。牛頓出版了《自然哲學的數學原理》(Philosophiæ Naturalis Principia Mathematica),徹底改變了物理學的樣貌,也從此讓所有理科生飽受微積分的折磨。剛讀《無限小》時,我壓根兒忘光了微積分和無限小的關係,只有讀到後來才依稀想起老師提到的「極限」等等。

-----廣告,請繼續往下閱讀-----

雖然,我還是讀不懂《無限小》裡的數學,可是《無限小》仍是本很具啟發性的好書,從中可見我們人類在認識自然時,那些偏見與固執,是何等強大。政治師和宗教為了維穩及和諧干預學術發展,只能取得一時的和平,然後換來長久的落後。還有,科學的發展中,常常是柳暗花明又一村,保持一個開闊的心胸是多麼困難但重要的。

本文原刊登於閱讀‧最前線【GENE思書軒】,並同步刊登於The Sky of Gene

-----廣告,請繼續往下閱讀-----
Gene Ng_96
295 篇文章 ・ 32 位粉絲
來自馬來西亞,畢業於台灣國立清華大學生命科學系學士暨碩士班,以及美國加州大學戴維斯分校(University of California at Davis)遺傳學博士班,從事果蠅演化遺傳學研究。曾於台灣中央研究院生物多樣性研究中心擔任博士後研究員,現任教於國立清華大學分子與細胞生物學研究所,從事鳥類的演化遺傳學、基因體學及演化發育生物學研究。過去曾長期擔任中文科學新聞網站「科景」(Sciscape.org)總編輯,現任台大科教中心CASE特約寫手Readmoo部落格【GENE思書軒】關鍵評論網專欄作家;個人部落格:The Sky of Gene;臉書粉絲頁:GENE思書齋

0

0
0

文字

分享

0
0
0
《無限小》新書導讀
賴 以威
・2015/12/06 ・2748字 ・閱讀時間約 5 分鐘 ・SR值 558 ・八年級

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

國中時,老師站在教室前門旁解釋無限的概念。對現在的我來說這不難回答。

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

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

-----廣告,請繼續往下閱讀-----

Eye_of_Horus_square
想知道「1/2 + 1/4 + 1/8 + 1/16 + … = 1」是如何證明的,可以參考wiki

現在,儘管能破解無限的矛盾,能解釋阿基里斯為什麼能追上烏龜,能知道一尺之棰,日取其半,必然有取完的那天。但那樣的理解就好像回答:

「為什麼天空是藍色的?」

「因為空氣折射的緣故。」

-----廣告,請繼續往下閱讀-----

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

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

《無限小:一個危險的數學理論如何形塑現代世界》這本書從馬丁路德的宗教改革開始,當時羅馬教廷勢力衰退,作為教廷忠誠部屬的耶穌會趁勢興起。以菁英份子組成的耶穌會在各地辦學,他們推崇階級與秩序。在 克里斯多佛•克拉維烏斯(Christopher Klau)的努力下,服膺於邏輯性的數學地位逐漸提高,作為耶穌會宣揚紀律性的強而有力工具。握有數學知識,他們便能宣稱握有真理。

數學也沒辜負他們的期待。

-----廣告,請繼續往下閱讀-----

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

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

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

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

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

-----廣告,請繼續往下閱讀-----

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

這篇論文的重點根本不在拋物線面積,而是在介紹不可分量、無限小。

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

Index_Librorum_Prohibitorum_2
當時所有的出版品,都要接受耶穌會「總效訂」的審核,圖為羅馬教廷所製作的《禁書目錄》(已廢除)。 Source: Wiki

-----廣告,請繼續往下閱讀-----

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

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

可惜的是,他解錯了。

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

-----廣告,請繼續往下閱讀-----

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

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

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

本篇轉自:賴以威老師FB

-----廣告,請繼續往下閱讀-----

getImage《無限小:一個危險的數學理論如何形塑現代世界》。Amir Alexander著,商周出版。

-----廣告,請繼續往下閱讀-----
文章難易度
賴 以威
32 篇文章 ・ 10 位粉絲
數學作家、譯者,作品散見於聯合報、未來少年、國語日報,與各家網路媒體。師大附中,台大電機畢業。 我深信數學大師約翰·馮·諾伊曼的名言「If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is」。為了讓各位跟我一樣相信這句話,我們得先從數學有多簡單來說起,聊聊數學,也用數學說故事。 歡迎加入我與太太廖珮妤一起創辦的: 數感實驗室