1

1
2

文字

分享

1
1
2

為什麼A4的紙張邊長比是根號2呢?──《數學好有事》

PanSci_96
・2018/05/10 ・2567字 ・閱讀時間約 5 分鐘 ・SR值 591 ・九年級

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

圖/wikipedia

學校教過的數學課程中最讓人印象深刻的,可能是畢氏定理

這個定理是:取一直角三角形,以直角的兩邊(股)為邊長各畫一正方形,則這兩個正方形的面積總和,會等於第三邊(斜邊)畫出的正方形面積。邊長為 a 的正方形,√2面積是 a×a = a²。如果這個直角三角形的邊長為 a、b、c,且 c 是最長邊,那麼畢氏定理得出的結果是:

a²+ b² = c²

從這個漂亮的結果,你可以算出各種東西,包括正方形的對角線長等。正方形的對角線加上兩邊,就構成了直角三角形,如果正方形的邊長為 1,由畢氏定理可知:

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

1² + 1² = 2 = d²

這表示對角線的長度 d 等於√2,也就是自乘結果等於 2 的數。

圖/wikipedia

讓人有點尷尬的√2

除非你已經發覺√2有點難定出精確的數值,否則這個數沒什麼大不了的。如果拿 1.5 自乘,會得到 2.25,比 2大很多;改用 1.4,則得到 1.96,又變得太小。(1.41)2 = 1.9881,還是太小,但(1.42)2 = 2.0164 又會超過 2。

看起來無計可施,事實上也的確辦不到。√2是無理數,意思是無法寫出它所有的位數:完整的小數展開式是無窮盡的,而且沒有不斷重複出現的數字模式。

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

√2前面 20 位是:

1.4142135623730950488

發現無理數,可能招來殺身之禍

圖/wikipedia

簡單的正方形對角線,無意間產生了一個性質極為有趣的數。但事實上,畢達哥拉斯(Pythagoras)的門徒不太高興。畢達哥拉斯學派是西元前五世紀活躍於克羅頓(Croton,現今的義大利)的祕密幫派,除了奉行素食主義以及不吃豆類之外,他們把求知尊為道德健全生活的基石。數學是畢氏哲學的核心:據說 mathematics(數學,意為「所學習的」)及 philosophy(哲學,意為「愛好智慧」)這兩個詞是畢達哥拉斯所創,據傳,「萬物皆數」是他的座右銘。

問題是,畢氏學派所指的「數」只有整數及整數之比,也就是 ½、¼、¾ 等分數。無理數沒辦法寫成分數;事實上,這正是定義無理數的方式(如果你熟悉長除法,就可以自行驗證,任何一個分數都能表示成有限小數或循環小數)。

-----廣告,請繼續往下閱讀-----
希帕索斯。圖/wikipedia

希帕索斯(Hippasus of Metapontum)發現有些數(譬如√2)可能是無理數,他也是畢氏學派的一員,根據(相當隱晦的)歷史證據顯示,他因此受到嚴厲的懲罰:在海上沉船淹死。應該沒幾個人因為區區一個數而丟了性命吧?

無理但不悖理

證明√2是無理數的標準證法,是數學上經常使用的論證形式的重要範例,也就是歸謬法。要證明某件事(比方說√2是無理數),你必須先做相反的假設(√2可以寫成分數),如果之後推算出矛盾的結果,就能斷定你原先的假設一定是錯的,也就證明你最初的陳述(√2是無理數)必定為真。

這是很自然的推理方法,舉例來說,你假設管家殺了人,但如此一來,管家必須同一時間出現在兩個地方,這顯然說不通,那麼你就能推論原先的假設必定是錯的,而管家是清白的。歸謬法是數學的支柱,但也可能產生令人驚訝的結果。你將在第 3 章看到更多的例子。

希帕索斯的發現只是巨大冰山的一角。隨便取一小段數線,不管多小段,都有無窮多個無理數。那些能寫成分數的有理數,可以依序排列並賦予 1、2、3 等標籤,但無理數實在太多了,根本沒辦法用同樣的方式來區隔。你在數線上隨意一戳,碰到無理數的機率是 1,而碰到有理數的機率是 0。因此就數字而言,畢氏學派完全錯了。

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

√2可以是好事

假如畢氏學派知道無理數多麼有用,大概就不會因為有人發現無理數而這麼不高興了。幾乎每天都會用到的例子是紙張。歐洲採用的標準紙張尺寸 A5、A4、A3 等,有個非常棒的特點,就是將兩張同尺寸的紙並排起來,即能拼成大一級的尺寸,譬如兩張A4紙能拼成一張 A3。且小一級紙張寬度(W)的兩倍,等於大一級紙張的長度,而小一級紙張的長度(L)等於大一級紙張的寬度。

A 系列紙張大小。source:Wikipedia

所有尺寸的紙張,長寬比都是一樣的,也就是:

可以改寫成:

意思就是:

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

A 系列紙張的正字標記就是每張紙的長寬比均為 √2。

為什麼這很有用?如果你希望影印機能夠把原稿縮小(或放大)一級影印,就需要此系列紙張的各個尺寸有同樣的長寬比。假如長寬比不同,縮小影印後周圍就會多出白邊。兩張同尺寸的A系列紙張可並排成大一級的紙張,代表不管你想把兩張A4還是一張A3縮小一級,都可以採用同樣的縮小倍率。

影印機還會自動計算。如果你要縮小,影印機提供的倍率是 70%,有時候是 71%,把這些數字寫成小數(70 或 71 除以 100),結果是 0.7 及 0.71,兩個數都非常接近:

這個縮小倍率,正是把一張 A3(或兩張 A4)縮小到一張 A4所需要的比例。原紙張的長度 L 與寬度 W 會縮小到 L/√2 及 W/√2,這表示新紙張的面積會變成:

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

就是原來的一半,且因長寬比維持不變,所以能把原來的紙張剛好縮小到 A4 的尺寸。

放大影印也是同樣的道理。影印機提供的放大倍率是 140% 或 141%,對應的數字很接近,所以可以把一張A4 放大到 A3 的尺寸。


BOX:證明√2是無理數

假設 √2 = m/n,其中的整數 m 與 n 沒有公因數(除了 1,沒有其他數可同時整除 m 和 n)。

於是:2 = m²/n²,因此:2n² = m²。

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

這表示 m2是偶數,m 也是偶數,因為奇數的平方永遠是奇數。所以, m 可以寫成 2k,而 k 是某個正整數。把上式中的 m 換成 2k,就得到:2n2 = m2 = 4k2

除以 2,就是:n2 = 2k2

所以 n2 也是偶數,n 也是偶數,但這產生了矛盾,因為我們一開始假設 m 與 n 沒有公因數。因此,√2不能寫成 m/n,即為無理數。

本文摘自《數學好有事》,麥田出版

文章難易度
所有討論 1
PanSci_96
1226 篇文章 ・ 2337 位粉絲
PanSci的編輯部帳號,會發自產內容跟各種消息喔。

0

3
3

文字

分享

0
3
3
圖形處理單元與人工智慧
賴昭正_96
・2024/06/24 ・6944字 ・閱讀時間約 14 分鐘

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

我擔心人工智慧可能會完全取代人類。如果人們能設計電腦病毒,那麼就會有人設計出能夠自我改進和複製的人工智慧。 這將是一種超越人類的新生命形式。

——史蒂芬.霍金(Stephen Hawking) 英國理論物理學家

大約在八十年前,當第一台數位計算機出現時,一些電腦科學家便一直致力於讓機器具有像人類一樣的智慧;但七十年後,還是沒有機器能夠可靠地提供人類程度的語言或影像辨識功能。誰又想到「人工智慧」(Artificial Intelligent,簡稱 AI)的能力最近十年突然起飛,在許多(所有?)領域的測試中擊敗了人類,正在改變各個領域——包括假新聞的製造與散佈——的生態。

圖形處理單元(graphic process unit,簡稱 GPU)是這場「人工智慧」革命中的最大助手。它的興起使得九年前還是個小公司的 Nvidia(英偉達)股票從每股不到 $5,上升到今天(5 月 24 日)每股超過 $1000(註一)的全世界第三大公司,其創辦人(之一)兼首席執行官、出生於台南的黃仁勳(Jenson Huang)也一躍成為全世界排名 20 內的大富豪、台灣家喻戶曉的名人!可是多少人了解圖形處理單元是什麼嗎?到底是時勢造英雄,還是英雄造時勢?

黃仁勳出席2016年台北國際電腦展
Nvidia 的崛起究竟是時勢造英雄,還是英雄造時勢?圖/wikimedia

在回答這問題之前,筆者得先聲明筆者不是學電腦的,因此在這裡所能談的只是與電腦設計細節無關的基本原理。筆者認為將原理轉成實用工具是專家的事,不是我們外行人需要了解的;但作為一位現在的知識分子或公民,了解基本原理則是必備的條件:例如了解「能量不滅定律」就可以不用仔細分析,即可判斷永動機是騙人的;又如現在可攜帶型冷氣機充斥市面上,它們不用往室外排廢熱氣,就可以提供屋內冷氣,讀者買嗎?

CPU 與 GPU

不管是大型電腦或個人電腦都需具有「中央處理單元」(central process unit,簡稱 CPU)。CPU 是電腦的「腦」,其電子電路負責處理所有軟體正確運作所需的所有任務,如算術、邏輯、控制、輸入和輸出操作等等。雖然早期的設計即可以讓一個指令同時做兩、三件不同的工作;但為了簡單化,我們在這裡所談的工作將只是執行算術和邏輯運算的工作(arithmetic and logic unit,簡稱 ALU),如將兩個數加在一起。在這一簡化的定義下,CPU 在任何一個時刻均只能執行一件工作而已。

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

在個人電腦剛出現只能用於一般事物的處理時,CPU 均能非常勝任地完成任務。但電腦圖形和動畫的出現帶來了第一批運算密集型工作負載後,CPU 開始顯示心有餘而力不足:例如電玩動畫需要應用程式處理數以萬計的像素(pixel),每個像素都有自己的顏色、光強度、和運動等, 使得 CPU 根本沒辦法在短時間內完成這些工作。於是出現了主機板上之「顯示插卡」來支援補助 CPU。

1999 年,英偉達將其一「具有集成變換、照明、三角形設定/裁剪、和透過應用程式從模型產生二維或三維影像的單晶片處理器」(註二)定位為「世界上第一款 GPU」,「GPU」這一名詞於焉誕生。不像 CPU,GPU 可以在同一個時刻執行許多算術和邏輯運算的工作,快速地完成圖形和動畫的變化。

依序計算和平行計算

一部電腦 CPU 如何計算 7×5+6/3 呢?因每一時刻只能做一件事,所以其步驟為:

  • 計算 7×5;
  • 計算 6/3;
  • 將結果相加。

總共需要 3 個運算時間。但如果我們有兩個 CPU 呢?很多工作便可以同時(平行)進行:

-----廣告,請繼續往下閱讀-----
  • 同時計算 7×5 及 6/3;
  • 將結果相加。

只需要 2 個運算時間,比單獨的 CPU 減少了一個。這看起來好像沒節省多少時間,但如果我們有 16 對 a×b 要相加呢?單獨的 CPU 需要 31 個運算的時間(16 個 × 的運算時間及 15 個 + 的運算時間),而有 16 個小 CPU 的 GPU 則只需要 5 個運算的時間(1 個 × 的運算時間及 4 個 + 的運算時間)!

現在就讓我們來看看為什麼稱 GPU 為「圖形」處理單元。圖一左圖《我愛科學》一書擺斜了,如何將它擺正成右圖呢? 一句話:「將整個圖逆時針方向旋轉 θ 即可」。但因為左圖是由上百萬個像素點(座標 x, y)組成的,所以這句簡單的話可讓 CPU 忙得不亦樂乎了:每一點的座標都必須做如下的轉換

x’ = x cosθ + y sinθ

y’ = -x sinθ+ y cosθ

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

即每一點均需要做四個 × 及兩個 + 的運算!如果每一運算需要 10-6 秒,那麼讓《我愛科學》一書做個簡單的角度旋轉,便需要 6 秒,這豈是電動玩具畫面變化所能接受的?

圖形處理的例子

人類的許多發明都是基於需要的關係,因此電腦硬件設計家便開始思考:這些點轉換都是獨立的,為什麼我們不讓它們同時進行(平行運算,parallel processing)呢?於是專門用來處理「圖形」的處理單元出現了——就是我們現在所知的 GPU。如果一個 GPU 可以同時處理 106 運算,那上圖的轉換只需 10-6 秒鐘!

GPU 的興起

GPU 可分成兩種:

  • 整合式圖形「卡」(integrated graphics)是內建於 CPU 中的 GPU,所以不是插卡,它與 CPU 共享系統記憶體,沒有單獨的記憶體組來儲存圖形/視訊,主要用於大部分的個人電腦及筆記型電腦上;早期英特爾(Intel)因為不讓插卡 GPU 侵蝕主機的地盤,在這方面的研發佔領先的地位,約佔 68% 的市場。
  • 獨立顯示卡(discrete graphics)有不與 CPU 共享的自己專用內存;由於與處理器晶片分離,它會消耗更多電量並產生大量熱量;然而,也正是因為有自己的記憶體來源和電源,它可以比整合式顯示卡提供更高的效能。

2007 年,英偉達發布了可以在獨立 GPU 上進行平行處理的軟體層後,科學家發現獨立 GPU 不但能夠快速處理圖形變化,在需要大量計算才能實現特定結果的任務上也非常有效,因此開啟了為計算密集型的實用題目編寫 GPU 程式的領域。如今獨立 GPU 的應用範圍已遠遠超出當初圖形處理,不但擴大到醫學影像和地震成像等之複雜圖像和影片編輯及視覺化,也應用於駕駛、導航、天氣預報、大資料庫分析、機器學習、人工智慧、加密貨幣挖礦、及分子動力學模擬(註三)等其它領域。獨立 GPU 已成為人工智慧生態系統中不可或缺的一部分,正在改變我們的生活方式及許多行業的遊戲規則。英特爾在這方面發展較遲,遠遠落在英偉達(80%)及超微半導體公司(Advance Micro Devices Inc.,19%,註四)之後,大約只有 1% 的市場。

-----廣告,請繼續往下閱讀-----
典型的CPU與GPU架構

事實上現在的中央處理單元也不再是真正的「單元」,而是如圖二可含有多個可以同時處理運算的核心(core)單元。GPU 犧牲大量快取和控制單元以獲得更多的處理核心,因此其核心功能不如 CPU 核心強大,但它們能同時高速執行大量相同的指令,在平行運算中發揮強大作用。現在電腦通常具有 2 到 64 個核心;GPU 則具有上千、甚至上萬的核心。

結論

我們一看到《我愛科學》這本書,不需要一點一點地從左上到右下慢慢掃描,即可瞬間知道它上面有書名、出版社等,也知道它擺斜了。這種「平行運作」的能力不僅限於視覺,它也延伸到其它感官和認知功能。例如筆者在清華大學授課時常犯的一個毛病是:嘴巴在講,腦筋思考已經不知往前跑了多少公里,常常為了追趕而越講越快,將不少學生拋到腦後!這不表示筆者聰明,因為研究人員發現我們的大腦具有同時處理和解釋大量感官輸入的能力。

人工智慧是一種讓電腦或機器能夠模擬人類智慧和解決問題能力的科技,因此必須如人腦一樣能同時並行地處理許多資料。學過矩陣(matrix)的讀者應該知道,如果用矩陣和向量(vector)表達,上面所談到之座標轉換將是非常簡潔的(註五)。而矩陣和向量計算正是機器學習(machine learning)演算法的基礎!也正是獨立圖形處理單元最強大的功能所在!因此我們可以了解為什麼 GPU 會成為人工智慧開發的基石:它們的架構就是充分利用並行處理,來快速執行多個操作,進行訓練電腦或機器以人腦之思考與學習的方式處理資料——稱為「深度學習」(deep learning)。

黃仁勳在 5 月 22 日的發布業績新聞上謂:「下一次工業革命已經開始了:企業界和各國正與英偉達合作,將價值數萬億美元的傳統資料中心轉變為加速運算及新型資料中心——人工智慧工廠——以生產新商品『人工智慧』。人工智慧將為每個產業帶來顯著的生產力提升,幫助企業降低成本和提高能源效率,同時擴大收入機會。」

附錄

人工智慧的實用例子:下面一段是微軟的「copilot」代書、谷歌的「translate」代譯之「one paragraph summary of GPU and AI」。讀完後,讀者是不是認為筆者該退休了?

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

GPU(圖形處理單元)和 AI(人工智慧)之間的協同作用徹底改變了高效能運算領域。GPU 具有平行處理能力,特別適合人工智慧和機器學習所需的複雜資料密集運算。這導致了影像和視訊處理等領域的重大進步,使自動駕駛和臉部辨識等技術變得更加高效和可靠。NVIDIA 開發的平行運算平台 CUDA 進一步提高了 GPU 的效率,使開發人員能夠透過將人工智慧問題分解為更小的、可管理的、可同時處理的任務來解決這些問題。這不僅加快了人工智慧研究的步伐,而且使其更具成本效益,因為 GPU 可以在很短的時間內執行與多個 CPU 相同的任務。隨著人工智慧的不斷發展,GPU 的角色可能會變得更加不可或缺,推動各產業的創新和新的可能性。大腦透過神經元網路實現這一目標,這些神經元網路可以獨立但有凝聚力地工作,使我們能夠執行複雜的任務,例如駕駛、導航、觀察交通信號、聽音樂並同時規劃我們的路線。此外,研究表明,與非人類動物相比,人類大腦具有更多平行通路,這表明我們的神經處理具有更高的複雜性。這個複雜的系統證明了我們認知功能的卓越適應性和效率。我們可以一邊和朋友聊天一邊走在街上,一邊聽音樂一邊做飯,或一邊聽講座一邊做筆記。人工智慧是模擬人類腦神經網路的科技,因此必須能同時並行地來處理許多資料。研究人員發現了人腦通訊網路具有一個在獼猴或小鼠中未觀察獨特特徵:透過多個並行路徑傳輸訊息,因此具有令人難以置信的多任務處理能力。

註解

(註一)當讀者看到此篇文章時,其股票已一股換十股,現在每一股約在 $100 左右。

(註二)組裝或升級過個人電腦的讀者或許還記得「英偉達精視 256」(GeForce 256)插卡吧?

(註三)筆者於 1984 年離開清華大學到 IBM 時,就是參加了被認為全世界使用電腦時間最多的量子化學家、IBM「院士(fellow)」Enrico Clementi 的團隊:因為當時英偉達還未有可以在 GPU 上進行平行處理的軟體層,我們只能自己寫軟體將 8 台中型電腦(非 IBM 品牌!)與一大型電腦連接來做平行運算,進行分子動力學模擬等的科學研究。如果晚生 30 年或許就不會那麼辛苦了?

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

(註四)補助個人電腦用的 GPU 品牌到 2000 年時只剩下兩大主導廠商:英偉達及 ATI(Array Technology Inc.)。後者是出生於香港之四位中國人於 1985 年在加拿大安大略省成立,2006 年被超微半導體公司收購,品牌於 2010 年被淘汰。超微半導體公司於 2014 年 10 月提升台南出生之蘇姿豐(Lisa Tzwu-Fang Su)博士為執行長後,股票從每股 $4 左右,上升到今天每股超過 $160,其市值已經是英特爾的兩倍,完全擺脫了在後者陰影下求生存的小眾玩家角色,正在挑戰英偉達的 GPU 市場。順便一題:超微半導體公司現任總裁(兼 AI 策略負責人)為出生於台北的彭明博(Victor Peng);與黃仁勳及蘇姿豐一樣,也是小時候就隨父母親移居到美國。

(註五)

延伸閱讀

  • 熱力學與能源利用」,《科學月刊》,1982 年 3 月號;收集於《我愛科學》(華騰文化有限公司,2017 年 12 月出版),轉載於「嘉義市政府全球資訊網」。
  • 網路安全技術與比特幣」,《科學月刊》,2020 年 11 月號;轉載於「善科教育基金會」的《科技大補帖》專欄。
文章難易度

討論功能關閉中。

賴昭正_96
43 篇文章 ・ 56 位粉絲
成功大學化學工程系學士,芝加哥大學化學物理博士。在芝大時與一群留學生合創「科學月刊」。一直想回國貢獻所學,因此畢業後不久即回清大化學系任教。自認平易近人,但教學嚴謹,因此穫有「賴大刀」之惡名!於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 位粉絲
名為大家,在藝術人文中,指「大師」的作品;在生活旅遊中,指「眾人」的興趣。

1

6
2

文字

分享

1
6
2
黃金比例如何啟發世界的「美」!
鳥苷三磷酸 (PanSci Promo)_96
・2021/07/19 ・3828字 ・閱讀時間約 7 分鐘

本文由 微星科技 委託,泛科學企劃執行。

  • 作者 / 曾繁安

人類總會不由自主地被閃閃發光的事物吸引,取名時加上「黃金」二字,好像就能讓身價大漲,變得受歡迎。不管是黃金海岸、黃金地段、黃金右腳、 黃金奇異果,黃金獵犬、黃金脆薯、黃金盔甲、黃金流沙包、黃金開口笑(大誤)……人們用黃金形容所有美好的事物,連「比例」也一樣。「黃金比例」被譽為最美好的比例,你一定聽聞過,如果人的臉蛋身體或畫作構圖越接近黃金比例,就越迷人的説法。然而一個數字比例,怎麼會和美學扯上關係?

人類探究黃金比例的歷史,可追溯至兩千多年前……

古希臘時代大約公元五百多年前,癡迷於數學的畢達哥拉斯,認爲數學可以解釋世上一切事物。他的教學吸引了一群熱心的追隨者,被稱爲畢氏學派。在旁人眼裏,畢氏學派恐怕是一群怪人:恪守極爲嚴格的生活條規,不可吃肉和豆類,還會進行高强度記憶力訓練和三省吾身等等。但畢氏學派對數學幾近狂熱崇拜,尤其對數字 5 和五角星形的迷戀,使他們成爲史上最早接觸黃金比例分割的一群人。將構成五角星形的線段分割,由短至長排列,把最短的兩條線段相加,恰恰等於第三條線段長;把第二短和第三短的線段相加,也會等於第四條線段,依序如是,顯示出黃金比例的奇妙!不過,他們並沒有進一步為這個神奇的發現加以解釋、定義和命名。

一直到公元前三百年,歐基里德所著的《幾何原本》問世,才有了對黃金比例最早的系統性論述。但你知道嗎?歐基里德也根本沒說過「黃金比例」一詞。後世所謂的「黃金比例」,其實是出現在《幾何原本》第四章的「極限與均值比例」(Extreme and mean ratio)。歐基里德對這個比例的說明如下:

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

“A straight line is said to have been cut in extreme and mean ratio when, as the whole line is to the greater segment, so is the greater to the lesser.”

(一條線段如果切在「極限與均值比例」上,則線段的全長與較長分割段的長度比例,和較長分割段與較短分割段的長度比例相等。)

黃金比例的線段:a + b:a = a:b。圖/wikipedia

大家常常挂在嘴邊的黃金長寬比 1.618 ,就是從上圖的比例計算而來。只要把較短的線段 b 定義成 1 個單位,較長的線段 a 定義成 x 單位,再用一點國中數學上過的一元二次方程式,就能算出解答為 1.6180339887…… 或 0.6180339887…… 這兩個看~~~不到盡頭的無理數,都可被視爲黃金比例之值。就像另一位大名鼎鼎的無理數——圓周率,是以 「π」來表示,黃金比例也有自己的符號,叫做「φ」。「φ」一般念作 “ fai ” ,跟「π」押同韻,但捍衛正統希臘文念法的人可能會堅持念作 “ fee ”。

當初歐基里德只説了這麽多,純粹是為了解釋數學幾何上的意義。但他想也想不到的是,這個「極限與均值比例」,會變成美的代言人,帶給未來人類無限遐想的空間。

數學與人文藝術匯集,文藝復興時期的「神聖比例」

現代人熟知的「黃金比例」一詞,一直到 1830 年代左右才被廣爲流傳。在此之前,它的地位曾被提升到更崇高、神聖的位置。文藝復興時期,被稱為「會計學之父」的數學家兼方濟會修士——盧卡.帕西奧利(Luca Pacioli),出版了名叫《神聖比例》(Divina scalee)的著作。他從歐基里德定義的「極限與均值比例」出發,對正多面體和半正多面體的性質做討論。

1509 年由盧卡·帕西奧利出版的《神聖比例》,書中插圖由達文西繪製。圖/wikimedia

帕西奧利在研究「極限與均值比例」時深受啟發,開始與他熟悉的神學進行連結。他發現這個比例中提到的三個線段(全長、長邊、短邊),都在描述同一條線,像極了基督教的神學觀,既聖父、聖子和聖靈是三位一體。而這個比值之解的無理數,所具備無法窮盡的性質,就如同凡人無法理解全能無限的上帝般,兩個線段之比例是相等的(全:長 = 長:短),則代表神永恆的不變性與無所不在的屬性。

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

從數學上看見神學解釋的帕西奧利,遂將「極限與均值比例」改稱為「神聖比例」。他在著作中進一步以「神聖比例」分析古希臘羅馬建築與人體結構的比例。在他看來,被神所創造的人類,其軀幹比例也隱含了「神聖比例」。這些內容更深地加強了「神聖比例」與「美」之間的連接。

此後,「神聖比例」便與「宗教」和「美」脫離不了關係。帕西奧利對純數學理論進行宗教哲學解讀的突破,成功地讓這個神奇的比例跨出數學界的舒適圈,成為數學家、神學家與藝術家之間共同的話題,後來更在討論中逐漸演變成後世蔚為流行的「黃金比例」。帕西奧利可説是打開「黃金比例」知名度,背後不可或缺的功臣。

宇宙誕生以來就存在?藏在大自然中的密碼竟是「黃金數列」

儘管吉薩金字塔和帕特農神殿是否依照黃金比例建造,數學界和藝術界還在爭辯不休,但實際上不需要人爲設計,大自然本身就蘊藏著黃金比例的美麗。以描述「兔子生兔子」問題而聞名的費波那契數列(Fibonacci number),可説是黃金比例的孿生手足。費波那契數列第零項是 0,第一項是 1,從第二項以後的值,就是前兩項加起來的和,所以依序會是:

1、1、2、3、5、8、13、21、34、55、89、144、233……

-----廣告,請繼續往下閱讀-----
用費波那契數為邊的正方形,可以拼凑出的近似的黃金矩形 ( 1 : 1.618 ) !圖/wikimedia

文藝復興後期鼎鼎大名的天文學家克卜勒(Johannes Kepler)發現,把費波那契數列的後一項除以前一項的值的話,會是 1 / 1 = 1, 2 / 1 = 2,3 / 2 = 1.5,5 / 3 = 1.67, 8 / 5 = 1.6, 13 / 8 = 1.625, 21 / 13 = 1.615…… 計算到這裏,你是不是也察覺到其中奧妙?隨著數列遞進繼續相除,這個值竟會越來越趨近於黃金比例!也因此,費波那契數列的別名就叫做「黃金數列」。

大自然中的植物,其實都是深諳造物奧義的數學大師。試著數一數雛菊的花瓣數量,你會發現它們恰好都是 13、21 或 34 的費波那契數。葉子與葉子之間要怎麽喬位子,才不會擋住彼此吸收陽光?玫瑰的花瓣要如何排列,才會顯得漂亮對稱?松果上的種子要怎麽生長,才可以有效利用有限的空間?這些問題的答案通通都是:旋轉角度的比值(以 360° 為分母)要符合黃金比例!

對稱的玫瑰,決定其花瓣位置的角度遵循黃金比例。圖/Pixabay

不只是植物界,無論是鸚鵡螺貝殼的生長、鷹隼迫近獵物的飛行軌線,抑或衛星圖上熱帶氣旋的外觀,就連宇宙中漩渦星系的旋臂,都呈現遵循黃金比例的螺線。從小至可一手掌握的貝殼,大至遙遠光年之外的星系,都藏著黃金比例的身影。大自然對這個奇妙比值的鍾愛,讓科學家着迷不已。

黃金矩形中隱藏的等角螺線。圖/wikimedia

有生命的動植物和無生命的氣旋或星系,都不約而同服膺於一個神奇的比值,展現一種似乎自世界誕生以來就存在,難以撼動、一致而規律的美。同屬於大自然一份子的人類,也不停在各樣的建築或藝術品中追尋,渴望證明黃金比例與美的相關性。然而即使是世人眼中曠世巨作的大衛像,也沒辦法百分百貼近黃金比例,畢竟誤差永遠不能被全面消除,更別忘了有限的我們也無法窮盡無限的 φ 。正因爲黃金比例是一種人類無法徹底掌握的美,才迫使我們得以在追求美的道路上,不停努力地前進,再前進。

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

連自然都青睞的「黃金比例」近乎是「美」的同義詞。而我們的身邊,又有什麼東西用到黃金比例呢?

沒錯!就是這台 Creator Z16 筆記型電腦。

採用 16 : 10 螢幕的 Creator Z16 ,比市售的 16 : 9 螢幕多了 11% 的可視空間,創作更加自由寬廣。此外,16 : 10 ( 1.6 )也非常接近黃金比例( 1.618 ),讓你在創作時,感受蘊含萬物奧秘、數學家兩千多年來淬鍊的「美」。

本著以人爲本的設計理念, Creator Z16 的觸控面板讓人可更直覺操作,隨時揮灑靈感。 90 Whr 的大容量電池搭配快充功能和 15.9 mm 纖薄金屬打造的 2.2 kg 機身,可完美配合現代人隨時行動隨地工作的步調。以 True Pixel 顯示技術打造的 QHD+ 超高畫質面板,加上獨家 True Color 技術於出廠前進行色彩校正,可以精準呈現璀璨畫面。

想堅持你對生活的美學,又不想放棄實用主義的追求?小孩子才做選擇,你可以通通都要!就讓融合黃金比例又兼具堅强實力的 Creator Z16,成為你的繆思女神吧!

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

現在購買 Creator Z16 加贈價值 2190 元 Microsoft 365 個人版一年期!登記再抽潮到出水的 Porter 托特包,這麼好康還不快點到賣場逛逛

參考文獻

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