0

0
0

文字

分享

0
0
0

萊布尼茲誕辰 │ 科學史上的今天:07/01

張瑞棋_96
・2015/07/01 ・992字 ・閱讀時間約 2 分鐘 ・SR值 526 ・七年級

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

雖然如今我們將萊布尼茲(Gottfried W. Leibniz, 1646-1716)與牛頓並列為微積分的發明者,但萊布尼茲在世時的境遇卻與牛頓卻是有著天壤之別……。

比牛頓小四歲的萊布尼茲出身為德國貴族,他原先研讀的是哲學,20 歲就憑著一篇法律的論文拿到博士學位,並獲聘為法學教授。但他卻婉拒了教職,決定全心追求在科學方面的興趣。

1672 年他到巴黎時改良了巴斯卡發明的機械式計算機,將原來只有加減法的功能擴充到能做乘除、平方、開方等運算。這項發明引起英國皇家學會的注意,因而當萊布尼茲 1673 年訪問倫敦時,即獲邀成為皇家學會的會員(牛頓在前一年剛勉強同意加入會員)。孰知在這短短三個月的停留期間,他與牛頓的出版商友人柯林斯(John Collins)結識成為好友,竟為他後來被牛頓指控剽竊其微積分發明埋下了伏筆。

當萊布尼茲回到巴黎後,以兩年的時間潛心鑽研,獨力發明了無窮級數的技巧與微積分的觀念;這期間他也透過書信告訴柯林斯自己的進展。柯林斯知道後大吃一驚,因為他幾年前就聽牛頓說過在做類似的研究。於是他趕緊催促牛頓整理成書稿出版,卻也不敢透露太多萊布尼茲的進展,免得兩面不是人。但驕傲的牛頓才被虎克氣得不想再公開自己的發明,因此仍無發表之意,他只寫信告知萊布尼茲自己早就發明了「流數」(也就是微積分),信中還特地以加密的形式描述流數的觀念,暗示他適可而止。

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

萊布尼茲當然沒有理由因為牛頓隱晦模糊的敘述就放棄,更重要的是,他認為科學就應該要讓同儕理解接受,才能因而不斷演進,而不是像孤傲的牛頓那般敝帚自珍,因此他仍繼續研究微積分並在學術期刊上發表論文。牛頓因此才趕緊發表他的流數,並憤怒地指控萊布尼茲是從柯林斯處獲悉他的研究,剽竊其發明。這場發明桂冠誰屬的論戰竟然就此持續了數十年,至萊布尼茲過世仍不得休。

牛頓因為其崇高地位與影響力而有眾多幫手出面替他打擊萊布尼茲,孤立無援的萊布尼茲自此境遇每況愈下,晚年甚至得靠編寫王室的歷史來賺取生活費。當他過世時,僅有一名始終追隨他的僕人為他下葬;十年後牛頓卻是以國葬光榮地葬於西敏寺。

不過,最終還是萊布尼茲超越了時間的考驗,目前微積分的形式與符號都是萊布尼茲的版本,而非牛頓的流數。

 

 

本文同時收錄於《科學史上的今天:歷史的瞬間,改變世界的起點》,由究竟出版社出版。

-----廣告,請繼續往下閱讀-----
文章難易度
張瑞棋_96
423 篇文章 ・ 953 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。

0

11
2

文字

分享

0
11
2
宇宙到底是什麼樣子?——宇宙觀的發展史(上篇)| 20 世紀前
賴昭正_96
・2023/04/19 ・6261字 ・閱讀時間約 13 分鐘

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

  • 文/賴昭正|前清大化學系教授、系主任、所長;合創科學月刊

根本沒有理由假設世界有一個開始。認為事物必須有開始的想法實際上是由於我們思想的貧乏。
—— Bertrand Russell(1950 年諾貝爾文學獎)

「天上的星星千萬顆,世上的妞兒比星多,啊,傻孩子,想一想,為什麼失眠只為⋯⋯」(註一)不!世上的妞兒不會比星多,為什麼失眠也不是只為「她一個」,而是遐想著天空這麼多的星星是哪裡來的?為什麼不停地對著我咪咪地微笑?⋯⋯沉靜晴朗的夜晚,仰望著天空,有多少人不會為閃耀的星空沈思著迷呢?因此相信人類很早就在思考這個問題:在中國有盤古開天闢地,其身形化為日月星辰、山川河流,逝世時將精靈魂魄變成了人類之傳說。

而古希臘人(公元前 750-650 年) 則認為起初世界處於一種虛無混沌狀態,突然從光中誕生了蓋亞(Gaia,地球母親)以及其「他」具有人性的諸神,在沒有男性幫助的情況下,蓋亞生下了烏拉諾斯(Ouranos,天空),後者使她受精,生出了第一批泰坦(Titan)。泰坦後代普羅米修斯(Prometheus) 用泥塑人,雅典娜(Athena)為泥人注入了生命,宙斯(Zeus) 創造出一個擁有驚人美貌、財富、欺騙心、和撒謊舌頭的女人潘多拉(Pandora),給了她一個盒子,令永遠不要打開,但好奇心最後戰勝了,她終於打開盒子釋放出各種邪惡、瘟疫、悲傷、不幸、和在盒子底部的希望——現今打開「潘多拉盒子」的來源。

1881年,英國畫家勞倫斯.阿爾瑪-塔德瑪爵士(Sir Lawrence Alma-Tadema)的《矛盾的潘朵拉》。圖/Wikipedia

除了神話和傳說外,宗教在宇宙觀的發展上也佔了重要的地位。西方的宗教如基督教主要認為宇宙是一個由超自然力量之神創造出來的,人死後會上永生天堂。而東方的宗教如佛教則認為宇宙是無始無終的,沒有起點或終點,因此無所謂宇宙的起源與創造,人會以不同的面貌和形式,不斷生死輪迴。歐洲宗教在十六世紀前一直認為人與地球在這宇宙中佔了一個特殊的中心地位,因此深深影響了基於證據、推理、和辯論的宇宙觀發展。

中國古代的天文學

中國古代的宇宙觀有蓋天說、宣夜說、渾天說三學派,蓋天說認為「天圓地方」,天覆蓋著地,但由於地是方的,故而有四個角是無法覆蓋的,因此這四個角上有八根柱子支撐著整個天空。宣夜說則認為「日月眾星,自然浮生於虛空之中,其行其止,皆須氣焉」,即整個天體漂浮於氣體之中。渾天說雖然也認為「天圓地方」,但天是一個圓球,而不是蓋天說中的半圓,地球在天之中,類似於雞蛋黃在雞蛋內部一樣。東漢張衡(78-139 年)將「渾天說」發展成為一套系統的理論,並透過其所製作的「渾天儀」來加以演示,使渾天說成了中國宇宙結構的權威理論。渾天說的基本觀點認為日月星辰都佈於一個「天球」之上,不停地運轉著。

-----廣告,請繼續往下閱讀-----
清代的渾天儀。圖/Wikipedia

中國帝王自稱為「天子」,因此天文觀測的目的是為了帝王預測天下的禍福,用以指導治國理政、風水地理、農業民生、中醫人文的;天命如果有所改變,就會通過天象昭示天下。因此雖然中國是世界上最早發明曆法的國家之一,也為我們留下了許多寶貴的觀測資料,如記錄了 1054 年 7 月 4 日金牛座超新星的爆發,但古代的天文是皇權統治的一種工具而已,因此中國的天文學難以在民間發展,也不可能出現以科學為目的的天文研究。

地球中心模型

反觀西方世界,天文學在古典希臘則早已經是數學的一個分支。柏拉圖(Plato,公元前 427-347 年)鼓勵年輕的數學家蛇床子(Eudoxus of Cnidus,公元前 410-347 年)發展天文學體系,於公元前 380 年左右提出第一個以地球為中心的宇宙模型,認為一系列包含恆星、太陽、和月亮的宇宙球體都圍繞地球旋轉。

亞里士多德(Aristotle,公元前 384-322 年)識這些宇宙球體為物理實體,裡面充滿了導致球體移動之神聖和永恆的「以太」(ether)。他將這些球體分為陸地(terrestrial) 和天界 (celestial) 兩個領域。陸地領域包括地球、月球、及它們之間的月下區域,以變化和不完美為其標誌。天界是月球上方的領域,在這裡秩序井然,完美無缺。恆星固定在一個天球上,該天球每 24 小時圍繞地球旋轉一次。

最裡面的球體是地球的「陸地」,最外面的球體是「以太」構成的,包含「天界」。圖/Wikipedia

這個模型在接下來的幾個世紀裡得到了進一步的發展:希臘裔埃及天文學家、數學家、和地理學家托勒密(Claudius Ptolemy, 85-165)仔細研究以前所有天文學家的工作,了解到用肉眼觀察夜空中物體的方法後,透過他出色的數學技能開發出自己的天體運動模型,於公元 150 年出版了一本現在稱為《Almagest》(最偉大)的書籍來闡述其論點。

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

他認為地球是一個靜止的球體,位於一個大得多的天球的中心;這個天球攜帶著恆星、行星、太陽、和月亮以完全均勻的速度圍繞地球旋轉,從而導致它們每天的升起和落下。完美的運動應該是圓周運動,因此托勒密認為這些表面上不規則的天體運動實際上是由規則的、均勻的圓周運動組合成的:運動的中心不但偏離了地球,而且還沿著主要圓形軌道上的點依較小的「本輪」圓圈(epicenter)移動。托勒密在該書目錄後留言謂:

我知道我天生必死,轉瞬即逝; 但當我隨心所欲地描繪天體的曲折軌跡時,我的腳不再接觸大地,而是站在宙斯面前,盡情享受神的美味。

此後的 1500 年,托勒密書中的表常被用來預測天體在夜空中的位置;而其以地球為中心的宇宙觀也幾乎統領了以後 2000 年的天文物理發展!

太陽中心模型

1543 年,波蘭哥白尼(Nicolas Copernicus,1473-1543)在德國紐倫堡出版《De revolutionibus orbium coelestium》 (論天體運轉,註二) 一書,提出日心系統,謂地球不在宇宙中心之特別位置,而是與其他行星一起在圍繞太陽的圓形軌道上運動。不幸的是它表面上不規則的天體運動之複雜並不亞於托勒密地心系統;還有,如果地球在動,為什麼星星總是在同一個地方出現——除非它們離地球很遠(註三)?因此該書出版後從未獲得廣泛支持。儘管如此,在日心系統裡,行星繞日具有地心系統所沒有的周期性

哥白尼的宇宙觀,中心為太陽。圖/Wikipedia

十七世紀初,在新發明之望遠鏡的幫助下,意大利天文、數學、哲學家伽利略(Galileo Galilei,1564-1642)發現了圍繞木星運行的衛星,終於對地球位於宇宙中心的觀念造成致命的打擊:如果衛星可以繞另一顆行星運行,為什麼行星不能繞太陽運行?伽利略因之慢慢地深相地球繞日說,但被羅馬教會禁止「堅持或捍衛」哥白尼理論。晚年於 1630 年出版《Dialogo sopra i due massimi sistemi del mondo, tolemaico e copernicano》(關於兩大世界體系——托勒密和哥白尼——的對話), 在最後一章裡用潮汐現象來證明地球是在動,不是靜止地在宇宙中心(註四)。

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

大約就在那個時候,德國數學、天文學家開普勒(Johannes Kepler 1571-1630)「盜取」導師丹麥天文學家布拉赫(Tycho Brahe,1546-1601)的豐富實驗資料構建了日心的定量模型,在 1618 年至 1621 年期間出版(立刻成為天主教會禁書的)《Epitome Astronomiae Copernicanae》(哥白尼天文學概要),提出描述行星體如何繞太陽運行的(開普勒)三定律:(1)行星以太陽為焦點在橢圓軌道上運動,(2)無論它在其軌道上的哪個位置,行星在相同的時間內覆蓋相同的空間區域,及(3)行星的軌道周期與其軌道的大小(半長軸)成正比。

開普勒終於解開行星之謎:行星以橢圓形——不是完美的圓形——圍繞太陽運轉。開普勒第三定律謂:行星與太陽的距離與其繞太陽公轉所需的時間存在精確的數學關係。這條定律激發了牛頓(Isaac Newton,1643-1727)的靈感,證明橢圓運動可以用引力與距離的平方反比定律來解釋。

平方反比定律

人類事實上好像很早就注意到了所有物質都互相作用,例如亞里士多德認為物體由於其內在的引力(沉重)而趨向一個點,伽利略則注意到物體被「拉」向地球中心。英國博學士胡克(Robert Hooke,1635-1703)在 1670 年的格雷沙姆演講 (Gresham lecture) 中謂萬有引力適用於「所有天體」,並添加了萬有引力隨距離減小的原理,及在沒有任何這種動力的情況下,物體會直線運動。到 1679 年,胡克認為萬有引力具有「距離平方反比」依賴性(註五),並在給牛頓的一封信中傳達了這一點:「我(胡克)的假設是引力總是與距中心距離成雙倍比例。」

牛頓因為害怕其他科學家和數學家竊取了他的想法,喜歡把他的工作隱藏起來、不發表;因此直到 44 歲才在英國天文學家哈雷(Edmond Halley)說服下,寫了一篇關於他的新物理學及應用在天文學的完整論述;一年多後(1687 年),發表了後來成為物理經典的《Philosophiae Naturalis Principia Mathematica》(自然哲學數學原理)或簡稱為《Principia》(原理)。

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

儘管牛頓在《原理》中承認胡克曾經提出太陽系中的平方反比定律,但胡克仍然對牛頓聲稱「發明」了這一定律感到不滿。胡克是一位才華橫溢、但是又駝背又矮的科學家:發現彈性定律(胡克定律)、發現有機體基本單位的「細胞」、發明顯微鏡(使他成為細胞理論的早期支持者)。 當胡克要求牛頓承認他已經預料到後者在陽光中顏色的一些研究結果時,牛頓寫了一封諷刺的拒絕信,影射了胡克的小身材謂:「如果我看得更遠,那是因為站在巨人的肩膀上」(事實上,牛頓的許多創見都不是站在巨人之肩膀上的——被譽為是有史以來最偉大的物理學家,不是沒有道理的)。

胡克透過顯微鏡觀察、繪製的細胞壁。圖/Wikipedia

自然哲學數學原理

牛頓在《自然哲學數學原理》裡用同一個定律解釋了一系列以前不相關的現象:太陽-行星運動、行星-衛星運動、軌道物體、拋射體、鐘擺、地球附近的自由落體、彗星的偏心軌道、潮汐變化、以及地球軸的進動等等,具體地證明了「萬有引力」定律:「⋯⋯所有物質吸引所有其它物質的力與它們質量的乘積成正比,與它們之間距離的平方成反比」。這項工作使牛頓成為科學研究的國際領導者,「自然哲學數學原理」被公認為有史以來最偉大的科學著作。

但除了受過幾何學訓練的數學家外,《原理》事實上是一本非常難以理解的書,更糟的是:裡面充滿了矛盾和不一致,而且還點綴著一些令人毛骨悚然的錯誤(一些錯誤是計算和演示中的徹底錯誤,其它則是邏輯上的空白:沒有證明、只是猜測)。在牛頓時代,很少有人能讀懂它,而今天幾乎沒有人嘗試過。牛頓任教之劍橋大學的學生曾這樣諷刺:「有一個人寫了一本他和任何人都無法理解的書」。

《原理》在那個時代還有一個很大的邏輯問題:那時的物理學家認為世界是一部大機械,作用是必須透過物質撞擊或擠壓物質的接觸來達成的;從遠處發出穿過虛空的無形作用力量是魔法、神秘的、非科學的!為了阻止不可避免的批評和挑釁,牛頓先下手為強,在《原理》一書謂:

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

「我已經用重力解釋了天空和海洋的現象,但我還沒有為重力提出一個原因。 ⋯⋯我還不能推斷⋯⋯這些重力特性的原因。我不需要假設,因為任何不是從現像中推導出來的東西都必須被稱為假設;而假設——無論是形而上學的、還是物理的、基於神秘特性的、或機械的⎯在實驗哲學中都沒有地位⋯⋯。在本哲學中,特定的命題是從現像中推斷出來的,然後通過歸納來概括。」

所以重力不是機械的、不是神秘的、不是假設;牛頓用數學及結果證明了這一點:「重力確實存在,並根據我們制定的定律起了作用,足以解釋天體和海洋的所有運動」,因此即使它的本質不能被理解,但我們不能否認它。牛頓認為這就「夠了」。

牛頓的著作《原理》被其任教之劍橋大學的學生諷刺為一本「任何人都無法理解的書」。圖/Wikipedia

靜態的宇宙

當牛頓抬頭仰望月亮、太陽、和行星以外的天空時,他沒有發現任何物體的運動,因此宇宙應該是靜止的。而如果萬有引力可以用在所有的天體上,科學家再沒有任何理由認為人類很特別,我們所處在的地方在宇宙中佔了一個很獨特的地位。這在現代物理宇宙學中被稱為「宇宙學原理(Cosmology principle)」的概念,認為這些力會在整個宇宙中均勻地作用,因此從足夠大的尺度上觀察時,宇宙中物質的空間分佈應該是均勻的、沒有方向性的。同樣地,我們現在所處在的時刻也沒理由是個很特殊的時刻。顯然地,宇宙永遠就是那樣地存在,它沒有開始,也不會有終結—因為如果有開始,那顯然就應有創造者,這不是太宗教了嗎?

牛頓的引力理論實際上需要一個持續的奇蹟來防止太陽和恆星被拉到一起。在 1666 年至 1668 年之間之手稿《De Gravitatione》 (引力)中,牛頓闡述對空間和宇宙的看法:一種「無限而永恆」的神力與空間共存,它「向各個方向無限延伸」。牛頓設想了一個無限大的宇宙,上帝在其中將星星放置在正確的距離上,因此它們的吸引力抵消了,就像平衡針在它們的點上一樣精確。所以宇宙可以保持靜態,不會崩潰到無任何一點(無限大的宇宙沒有中心點)。

有限的宇宙

但是此一充滿著星球的無限宇宙在羅輯上是有幾個很嚴重的問題。例如雖然兩物體間的作用力與距離的平方成反比(收斂系列),但作用的星球數卻是與距離的平方成正比,正好抵消了前者的效應;因此,

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

(1)宇宙中的任何一點均應感受到無限大、往四面八方外拉的重力,所以物體不可能存在的!

(2)宇宙中的任何一點均應看到無限多的星光,所以夜晚的天空不應是黑暗的(註六)。

在你心中宇宙長什麼樣子呢? 圖/Pixabay

事實上亞里士多德早就回答了這個問題:物質宇宙在空間上一定是有限的,因為如果恆星延伸到無限遠,它們就無法在 24 小時內繞地球旋轉一圈。1610 年,開普勒也提出既然夜晚的天空是黑暗的,所以宇宙中的恆星數量必須是有限的!這有限宇宙的觀點一直到二十世紀初期還是被歐洲宗教及大部分科學家所接受(註三),造成了愛因斯坦犯下他一生最大的錯誤(詳見愛因斯坦的最大錯誤——宇宙論常數)。

如何解決牛頓之無限宇宙論與宗教之有限宇宙論間的衝突呢?請待下回分解吧。

註解

  • 註一:高山(作曲沈炳光之夫人黄任芳?):《牧童情歌》。
  • 註二:該書非常複雜難懂,科學歷史學家稱它為一本沒有人讀的書。
  • 註三:Giodano Bruno(1548-1600),意大利哲學家、天文學家、數學家、和神秘學家;因為堅持非正統的想法——包括宇宙是無邊緣的,恆星是離地球很遠的太陽、有它們自己在上面可能存在生命的行星,而付出被羅馬天主教酷刑,在火刑柱上燒死的代價——為一有名的宗教迫害案件例。
  • 註四:晚年被羅馬天主教強迫收回(在審判庭上寫了悔過書),因此不像註三的 Bruno,只被軟禁在家到逝世。說來有點可笑,伽利略之「證明」地球在動的理論完全是錯誤的:例如潮汐每天應該出現兩次,但他的證明只出現一次而已。但伽利略發現相對論原理,正確地解釋了為什麼我們沒感覺地球在動。
  • 註五:引力與距離的平方反比定律最早由布利亞爾杜斯(Ismael Bullialdus)於 1645 年提出;但他不但不接受開普勒的第二和第三定律,也認為太陽的力量在近日點是排斥的。
  • 註六:為紀念十九世紀的德國天文學家歐博耳(Heinrich Olbers, 1758-1840) 在這方面的深入研究,現在被稱為「歐博耳悖論(Olbers paradox)」 。
賴昭正_96
42 篇文章 ・ 50 位粉絲
成功大學化學工程系學士,芝加哥大學化學物理博士。在芝大時與一群留學生合創「科學月刊」。一直想回國貢獻所學,因此畢業後不久即回清大化學系任教。自認平易近人,但教學嚴謹,因此穫有「賴大刀」之惡名!於1982年時當選爲 清大化學系新一代的年青首任系主任兼所長;但壯志難酬,兩年後即辭職到美留浪。晚期曾回台蓋工廠及創業,均應「水土不服」而鎩羽而歸。正式退休後,除了開始又爲科學月刊寫文章外,全職帶小孫女(半歲起);現已成七歲之小孫女的BFF(2015)。首先接觸到泛科學是因爲科學月刊將我的一篇文章「愛因斯坦的最大的錯誤一宇宙論常數」推薦到泛科學重登。

0

1
0

文字

分享

0
1
0
白馬 ≠ 馬?當陳述句變成數學邏輯等式!——《大話題:邏輯》
大家出版_96
・2023/04/07 ・2243字 ・閱讀時間約 4 分鐘

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

從簡單陳述句轉變為複合句——「連接詞」

大約一百年後,克律西波斯(c.280 – c.206 BC)改變了邏輯的關注焦點,從簡單的主述詞陳述句轉向「蘇格拉底是人,且芝諾也是人」之類的複合句。

這是很大的進展。當時甚至有人說「克律西波斯的邏輯就是神會用的邏輯」。我們稍後會見到,克律西波斯的邏輯也是人類使用的邏輯,只不過我們還得等兩千年才會明白這一點。

複合句使用的連接詞不同,其真假受個別句子影響的方式也不同。

出現了「且」、「和」等連接詞。圖/大話題:邏輯。

譬如「不是…就是…」這個連接詞組可以這樣用,也只有「不是…就是…」這個連接詞組可以這樣用:

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

編按:「不是」穆罕默德到山那邊,「就是」山到穆罕默德這邊。

其後一千五百年甚至更久,克律西波斯沒有對邏輯留下多少影響。不僅因為他的作品失傳了,只留下他人的轉述,也因為亞里斯多德成了天主教會的心頭好。

「不是」;「就是」的應用。圖/大話題:邏輯。

萊布尼茲定律

接下來兩千年,邏輯學家建構出愈來愈多三段論,有些甚至前提不只兩個。這些邏輯學家就像煉金術士,拿著概念拼拼湊湊,想辦法生出有效論證。最後有一個人在這股狂熱當中想出了方法,那人就是萊布尼茲(1646 – 1716)。

萊布尼茲想到的方法是將陳述句看成代數裡的等式。等式使用等號(=)來表達式子兩邊數值相等。

例如:x2 + y2 = z2

萊布尼茲將等號帶進邏輯裡,用來指稱 a 和 b 等同。

-----廣告,請繼續往下閱讀-----
萊布尼茲定律的陳述句。圖/大話題:邏輯。

自此之後,這個等同式就叫做「萊布尼茲定律」。萊布尼茲將 a = b 拆成兩個不可分割的述句「a 是 b」和「b 是 a」,意思是「所有 a 都是 b」和「所有 b 都是 a」。

例如:「所有單身漢都是沒結婚的男人,且所有沒結婚的男人都是單身漢。」

若 a 和 b 等同,那麼陳述句裡的 a 就算換成 b,這個陳述句的真假顯然不會隨之改變。例如,「蘇格拉底是沒結婚的男人,沒結婚的男人是單身漢,因此蘇格拉底是單身漢」。

這個定律很重要,因為有了它,我們就能以有限多的步驟來判斷近乎無限多的句子的真值。萊布尼茲使用的步驟數是四個。

-----廣告,請繼續往下閱讀-----
陳述句中的等同式。圖/大話題:邏輯。

1. a = a

例:「蘇格拉底是蘇格拉底。」

2. 若 a 是 b,且 b 是 c,則 a 是 c

例:「所有人都會死,蘇格拉底是人,所以蘇格拉底會死。」

說「a 是 b」就等於說「所有 a 都是 b」。

3. a =非(非 a)

例:「如果蘇格拉底會死,則蘇格拉底不是不會死的。」

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

4. a 是 b = 非 b 是非 a

例:「蘇格拉底是人,意思是如果你不是人,你就不是蘇格拉底。」

利用這四個簡單的法則,萊布尼茲就能證明所有可能出現的三段論。比起亞里斯多德的四角對當,這才是人類史上第一個真正的真理理論,因為它使用事先定下的法則,藉由代換等同的符號(同義詞)來導出結論。

非真即假的歸謬法

萊布尼茲最常用的證明方法是一個極為重要的邏輯工具,深受後世邏輯學家和哲學家喜愛。他稱呼這個方法為歸謬法。

這個工具很簡單,卻好用得驚人,自萊布尼茲發明以來便廣獲使用。我們用一個例子來講最清楚。

-----廣告,請繼續往下閱讀-----
檢驗「打籃球」得陳述句是否為真?圖/大話題:邏輯。

使用歸謬法時,我們先假設要檢驗的那個陳述句為真,再看它能導出哪些結論。如果導出的結論互相矛盾,我們就知道那個陳述句是假的,因為矛盾永遠為假。

歸謬法有一大好處,那就是即使我們不知道如何證明,也能判斷一個陳述句的真假;只要證明這個陳述句的否定會導出矛盾,就知道它是真的了。

歸謬法僅用真假二分,但卻沒有提出證明。圖/大話題:邏輯.

新工具

「我發明的這個工具完全使用理性,是裁決爭議的判官、解釋概念的權威、衡量可能性的天平、指引我們穿越經驗之海的指南針,是萬物的清單、思想的表格、檢視事物的顯微鏡、預測遙遠事物的望遠鏡、通用的演算法、不使詐的魔術、不空妄的計謀,也是人人都能用自己的語言閱讀,所及之處皆會帶來真宗教的經文。」

萊布尼茲致信漢諾威公爵,1679 年

不難想見,天主教會將萊布尼茲視為異端。但「思想有其必然法則」的想法卻對西方哲學家產生了深遠的影響,包括康德、黑格爾、馬克思和羅素。

萊布尼茲的思想影響到後世許多西方哲學家。圖/大話題:邏輯。

——本文摘自《大話題:邏輯》,2023 年 3 月,大家出版出版,未經同意請勿轉載。

-----廣告,請繼續往下閱讀-----
大家出版_96
14 篇文章 ・ 11 位粉絲
名為大家,在藝術人文中,指「大師」的作品;在生活旅遊中,指「眾人」的興趣。

0

1
2

文字

分享

0
1
2
不用數字的數學還會是數學嗎?一窺當代抽象數學的面向——《不用數字的數學》
經濟新潮社
・2022/09/26 ・2865字 ・閱讀時間約 5 分鐘

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

  • 文/游森棚|臺灣師範大學數學系教授

讀者手上的書是一本非常特別的數學科普書。

這本書談的數學,會和絕大部分讀者心中的「數學」非常不一樣,也和絕大部分的數學科普書非常不一樣。一言以蔽之,這本書用淺顯的語言介紹現代高等數學中幾個抽象的核心領域:拓樸、分析、代數,最後提及數學的哲學基礎、建模與自動機。所有篇章都談「概念」,都沒有「數字」。

這本書談的數學所有篇章都談「概念」,都沒有「數字」。圖/Pixabay

沒有數字的數學是數學嗎?!

讀完初稿,不禁啞然失笑,回憶起自己年輕時在數學系的惶恐與不知所措。僅僅一個月我就發現大學的數學和高中數學「很不一樣」。高中數學範圍有限,目標是解設計好的題目:不要有計算失誤,快速地解題得到正確的答案。但是大學的數學範圍茫茫無際,大一的微積分(Calculus)與線性代數(Linear Algebra),除了像高中數學一樣的計算與解題,更多的是要求理解與論證。我在這兩門課的證明題中掙扎前行,不知不覺進了大二。

然後我就在大二的高等微積分(Analysis)與代數學(Algebra)卡關了。這兩門課是數學系真正的入門課程,幾乎沒有像高中數學一樣的計算題,而是一整片的理論。前面沒弄懂,後面就根本無法前進。簡單來說,這兩門課從課本內容、習題、到考試,全部是證明題。我可以整個下午在書桌前,只為了想弄懂從這一行到下一行的理由。一道敘述只有十幾個字的習題,可以耗掉好幾天,而且還做不出來,更糟的是書後面還沒有答案。同學們互相自嘲,一本薄薄的課本可以讀這麼久,真的太划算了。

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

我原以為這兩門課已經嘆為觀止,但到了大三時,修了一門更誇張的課,叫做拓樸學(Topology)。幾百頁的課本中沒有任何數字(數字只出現在頁碼、定理標號、足碼)。每星期連續幾堂課老師寫滿七、八個滿滿的黑板,可以完全不出現任何一個數字。我們一路顛簸,掙扎忍耐到快要學期末,然後老師很興奮地預告,下學期,在書本的後半,我們將會證明 Jordan Curve Theorem 這個大定理:這個定理是說,你拿筆在紙上畫一個圓,會把紙分成兩部分,「圓內」和「圓外」。台下同學一片譁然,這能不譁然嗎!我簡直矇了,那一瞬間,我覺得我在外星球上……

這是數學嗎?!

Jordan Curve Theorem 定理是說,拿筆在紙上畫一個圓,會把紙分成兩部分,「圓內」和「圓外」。圖/Pixabay

「數學」研究的是純粹的論證與推理

是的,這是數學。經過大學數學系,我知道從定義出發,純粹的論證與推理,推出夠一般的結論,是數學理論發展的步驟。而論證與推理,才是數學的核心本質。數學和其他學門非常不同,數學是一步推一步的,要下結論必須要有理由。「論證」與「推理」在數學各個不同的主題或領域上所佔的份量不盡相同,但這個本質不會改變。即使是小學的九九乘法表,三七是二十一也是有理由的。

即使是小學的九九乘法表,三七是二十一也是有理由的。圖/Pixabay

如果我們抽離出最根本的概念,數學就是在研究形狀,研究變化,研究結構,應用之以解決實際問題,資訊時代又賦予數學新的觀點與力量。

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

用數學專業的語言來說,數學研究形狀,就是「幾何學與拓樸學」;數學研究變化,就是「分析學」;數學研究結構,就是「代數學」;數學解決實際問題,就是「應用數學」;數學與資訊結合,就是「離散數學」。這幾個領域,就是當代數學這棵參天大樹的幾個主幹。

作者的野心藏在這本書中

這正是本書的內容。這本書的五個章節中,第一章是拓樸學(形狀),第二章是分析(變化),第三章是代數(結構),第五章是建模(應用數學與離散數學)。數學既然是一步推一步,根基是否穩固就很關鍵,這個部分穿插在第四章的基礎(數學基礎與數學哲學)。

由此可看到作者的野心非常宏大——他想要在一本小書中一網打盡介紹數學的各個主幹。這當然是不可能的,因此本書作者相當努力,在每一章中,盡量選取那些可以用口語解釋概念的主題材料。在解釋的過程中,盡可能貼近讀者的生活經驗,或是藉由各式各樣生活上的例子來讓讀者體會數學的概念。

要對一般讀者講解抽象的高等數學,細節與精確定義是不可能講清楚的。但是既然只抽離出概念,還是有機會在概念上讓讀者體會的。一個簡單的例子如下:三角形、橢圓、長方形、叉叉,這四個東西哪一個「看起來跟別人最不一樣」?很顯然就是叉叉,這個小朋友都能做。但這樣的直覺,就已經碰觸到拓樸學中的核心概念了,這正是本書第一章的第一部分要介紹的內容。所以很容易理解吧!讀者如果想學嚇人的專業術語,我來註解如下:三角形、橢圓、長方形是同胚的(homeomorphic),但是叉叉和它們不同胚。

-----廣告,請繼續往下閱讀-----
一個簡單的例子如下:三角形、橢圓、長方形、叉叉,這四個東西哪一個「看起來跟別人最不一樣」?圖/Pixabay

書中有些材料作者介紹得非常精妙,即使以我專業數學家的眼光來看,都覺得眼睛一亮,比如對稱群、自動機、物理基本粒子等等。既然作者原來的想法就是用口語敘述介紹高層次的概念,讀者就不要有壓力,當作有趣的故事書來讀,會有驚喜的發現:重複圖案的壁紙本質上只有十七種、數學中不同的主義、連續與離散真的天差地遠……

宏觀與有趣的文筆,道出數學的精妙

最後再回到讓全班譁然的 Jordan Curve Theorem。到了研究所後我才知道為什麼這個定理這麼特別─這是平面獨有的一個特別性質。到了三維空間中的流形(manifold)事情就變得非常複雜,讀者可以查「Alexander horned sphere」看看有多詭異。至於什麼是「維度」和「流形」,可以看這本書的第一章……

我欣見這本書的出版,也佩服作者的宏觀與有趣的文筆,把數學某些本質層面藉由適當的選材呈現出來。但數學何其浩瀚,不管是哪個主幹,本書提及的材料都還只是很小的部分,茫茫數學大海,還有非常多新奇的事物。但囿於篇幅與主題限制,許多重要的領域本書沒有碰觸,是較為可惜之處。但這是我太苛求了,本書的視野和高度在數學科普書中是非常少見的,碰觸到的領域已經非常廣闊,足以讓讀者對數學有完全不同的認識與體悟。

無論如何,希望本書能開一扇門,引領有緣的讀者或未來的數學家,體會當代數學的面向,從而進入數學的嚴肅、深邃與美麗。

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

——本文摘自《不用數字的數學:讓我們談談數學的概念,一些你從沒想過的事……激發無窮的想像力!》,2022 年 9 月,經濟新潮社,未經同意請勿轉載。

經濟新潮社
4 篇文章 ・ 4 位粉絲