0

1
0

文字

分享

0
1
0

跳脫古典數學邏輯!直覺主義的興起——《大話題:邏輯》

大家出版_96
・2023/04/08 ・1479字 ・閱讀時間約 3 分鐘

非古典邏輯:直覺主義

布勞威爾 (1881 – 1966)是最早脫離所謂「古典邏輯」系統的學者之一。他反對弗雷格和羅素將數學化約為邏輯的構想,認為數學根基於我們對某些基本數學物件(如數字和直線)的「直覺」,因此他的學說便稱為「直覺主義」。

直覺主義。圖/大話題:邏輯

惡魔論證

布勞威爾主要將焦點擺在無限集合和序列上,例如所有正數的集合和無理數(如 π 和)小數點後的數字形成的序列等等。他的論證大致如下:

我邏輯上能證明 666 這個序列一定會出現在任何無理數(如 π)的擴張裡。因為若主張 666 不在裡面,就代表 666 不出現在 π 的小數點後數字的任何地方,但這一點在數學上是無法證明的。就算世界上所有白紙都寫滿π的小數點後數字,還是有無限多的數字沒檢查到。

惡魔論證。圖/大話題:邏輯。

直覺邏輯的興起

雖然布勞威爾只想證明有些數學證明的方式和邏輯證明不同,但有些人發現他的論證也能用來證明某些數學領域的邏輯和其他數學領域不同,甚至有些人還據以建構出一套邏輯系統,並嘗試證明這套邏輯適用於所有數學領域。這套系統就叫「直覺邏輯」。

直覺邏輯系統。圖/大話題:邏輯。

直覺主義 v.s. 歸謬法

直覺邏輯有一個關鍵特點,就是不能用萊布尼茲的歸謬法。歸謬法是先假設某個數學陳述的否定為真,然後導出矛盾,進而證明該陳述為真。但要從「某事的否定為假」推導出「某事為真」就得仰賴排中律,因此在某些數學領域裡,歸謬法並不符合數學應該運作的方式,也就是從公理推導出數學語句。

-----廣告,請繼續往下閱讀-----
直覺邏輯與歸謬法互相對立。圖/大話題:邏輯。

直覺主義的數學熱潮

上述問題在 1930 年代引發了一波新的數學熱潮,不少學者嘗試用直覺邏輯替一些常用的基本數學陳述找到證明,也確實找到了不少。

數學系和哲學系紛紛成立,新的學術領域也隨之誕生。就連希爾伯特的方法明明是直覺邏輯的對手,也被加以改造,只使用得到認可的直覺主義程序。直到這股風潮引起了哥德爾的注意。

儘管後來學者對這場爭辯的興趣削弱了一些,但「唯有構造性證明才能確保一個陳述句為真」的基本看法至今仍然得到不少邏輯學家、數學家、科學家和哲學家支持。

許多人試著用直覺邏輯替數學陳述找證明。圖/大話題:邏輯。

處理未來陳述句的老問題

大約同一時期,波蘭數學家盧卡西維茨(1897 – 1956)1920 年提出的構想勾起了一些學者的興趣。此前十多年,這個構想從來不曾在波蘭以外的地區引起多大反應。盧卡西維茨當時想解決的,是從亞里斯多德到羅素都面對過的老問題。

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

編按:「如何判斷大笨鐘一千年後會遇上大雪」這句話的真值?

未來陳述句是邏輯無法確認之事。圖/大話題:邏輯。

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

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

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

2
2

文字

分享

0
2
2
歐氏幾何學的啟示
賴昭正_96
・2025/12/09 ・4611字 ・閱讀時間約 9 分鐘

無需證據就能肯定的事情,同樣也可以無需證據就能否定。

-歐幾里德(Euclid)古希臘數學和邏輯學家

當筆者還是一位教書匠時,時常鼓勵學生應該多讀數學,不是因為數學的實用性,而是因為它是訓練邏輯的基礎。愛因斯坦(A. Einstein)曾經說過:「就其方式而言,純數學是邏輯思想的詩歌。」而26歲時就提出了反物質的存在、奠定了量子電動力學基礎的狄拉克(Paul Dirac)更認為數學幫助他了解物理定律(宇宙)。我們不是大物理學家,在這裡只能介紹一個簡單的、 2300年前的數學━幾何(geometry),看它如何能幫助我們了解我們日常生活中的邏輯。

歐幾里德

歐幾里德(Euclid)大約於西元前 300 年生於埃及亞歷山大。我們對歐幾里德的生平知之甚少,只有希臘哲學家普羅克洛斯(Proclus,410-485 年)在其《希臘著名數學家》總結中提到:歐幾里德在托勒密一世(Ptolemy I Soter,公元前 323 年至公元前 285 年)統治時期在亞歷山大任教。儘管如此,雖然歷史上有過更偉大的數學家,也有過更重要的數學家,但如果說數學界有家喻戶曉的名字,那非「歐幾里德」莫屬!歐幾里德對人類文明的長期影響可以說非常深遠:幾個世紀以來,數學和歐幾里德在整個西方世界幾乎是同義詞。

歐幾里德的《幾何原本》(The Element of Geometry,通常縮寫為 Elements)是有史以來最著名數學著作之一。印刷術發明後,這部著作是最早以印刷形式出現的書籍之一:它出版了超過一千種不同的版本,只有《聖經》比它多。《幾何原本》通常被描述為一本幾何書,但它事實上也涉及數論和一種以幾何形式呈現的原型代數。

歐氏幾何

歐幾里德有兩大創新。其一是「證明」的概念:除非是從已知為真的命題中推導出來,歐幾里德拒絕接受任何數學命題為真。第二項創新是認識到任何事物都要始於無法被證明的某些「假設」。因此,歐幾里德預先提出了五個基本假設作為其所有推論的基礎:兩點可以用一條線連接;任何有限的線都可以延伸;可以以任意圓心和任意半徑畫一個圓;所有直角都相等;及兩條直線可以平行永不相交。

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

對歐幾里德來說,邏輯證明是幾何學的本質特徵,而「證明」至今仍是數學事業的基石。缺乏證明的命題無論有多少間接證據支持它、或蘊含意義多麼重要,都會被(合理地)懷疑。歐幾里德公理━他精心挑選的邏輯推論鏈━的影響極為深遠。例如,他用當時被認為無可挑剔的邏輯證明了:一旦同意他的公理,你就必然得出不能理解之「無理數」存在的結論!

嚴格的邏輯證明

「無理數」是不能用兩個整數相除來精確表達的實數。所以要證明x不是一個無理數,我們只要能找出兩個實數來表達它即可。例如利用高速電腦或人腦,我們發現可以用 40/99 表達 1.212121……,所以 1.212121…… 不是無理數。可是如果我們也同樣地想利用高速電腦來證明 \(\sqrt{2}\) = 1.4142135……呢?我們可以在一秒鐘內完成成千上萬的嘗試;但如果在數年後,我們還是找不到一組整數來表達\(\sqrt{2}\) 時,我們能下結論說 \(\sqrt{2}\) 是無理數嗎?不能,因為對歐幾里德來說,這不是嚴格的邏輯證明(註一)!

同樣地,費馬(Fermat)大定理於 1637 年提出,謂若 n 大於 2(n>2),則沒有任何三個整數 a,b,c 可滿足 an+bn=cn 方程式。隨著時間的推移,這個簡單的定理成為數學界最著名的未證命題之一。許多數學家和業餘愛好者要麼適用於所有 n>2 的值,要麼針對特定情況,試圖證明這一命題,推動了數論領域全新的發展。最初是手工證明,後來是計算機證明,找到了最高可達 400 萬的所有 n 值;儘管如此,因為不是嚴格的邏輯證明,數學家還是不能肯定該定律的正確性。

英國數學家懷爾斯爵士(Sir Andrew Wiles)於 1993 年 6 月 23 日首次公佈了他的證明,不幸地該證明在三個月後被發現含一個錯誤。一年後的 1994 年 9 月 19 日,懷爾斯在其自謂為「職業生涯中最重要的時刻」時偶然發現了一個啟示,使他能夠修正該錯誤,於 1995 年令歐幾里德、數學界滿意地嚴格證明了費馬大定理的正確性。

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

又雖然早在公元五百年左右就有印度數學家懷疑圓周率 π 是無理數;但兩千年過去了,雖然還是找不到一組整數來表達它,還是沒有任何數學家敢說π是無理數。1761 年法國數學家蘭伯特 (Johann Heinrich Lambert) 終於首次嚴格地證明了π 為一無理數!

歐幾里德幾何學

歐幾里德之五個初始、無法被證明的命題似乎都是大家很容易認定或接受的日常生活經驗。但事實上,歐幾里德的第五公設「兩條直線可以平行永不相交」遠非那麼合理明顯。因此許多數學家一直在懷疑可以從其它四個假設中推導出來(刪除它),或者能用更簡單、與其它一樣明顯的東西代替。但到了十九世紀,數學家們終於證明了它不能從其它四個假設中推導出來,明白了歐幾里德加入第五個公設是絕對正確的!

我們之所以認為「兩條直線可以永不相交」是合理的是因為我們生活在平面宇宙中:例如如果宇宙是二維空間,那我們就是生活在一張無限大的平面白紙上。但如果我們是生活在一個圓球的表面上呢?事實上我們不正是生活在一個圓球的地球表面上嗎?!但因我們的生活圈太小了,故整個周圍看起來好像一平面上而已。如果在地球表面上我們將兩「平行線」(註二)往同一方向延長不到一萬公里,它們是會相交於一點的(如果該兩點是在赤道上,那麼垂直於赤道的兩「平行線」將相交於北極或南極)。所以「兩條直線可以永不相交」在地球上不但不合理,根本完全是錯誤的假設━它只適用於日常生活中。

這些合理的懷疑歐幾里德之第五公設並沒有付諸流水。1854年,黎曼(Bernhard Riemann)在一次著名的演講中建構了無限多的非歐幾里德幾何族,為非歐幾里德幾何學邁出了決定性的一步。其中最簡單的一族缺乏平行線的公設,被稱為「非歐幾何」(non-Euclidean Geometry)。

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

在歐幾里德幾何裡,兩點之間的最短距離是一條直線;在非歐幾里德幾何球體表面上,兩點之間的最短距離則是沿著球體表面的大圓弧路徑(稱為測地線,註三)。在歐幾里德幾何裡,三角形內角總和為180度;但在非歐幾里德幾何球體表面上,由三個大圓弧組成的球體表面三角形內角總和則大於180度。

幾何與物理

非歐幾何的發展對數學和物理學產生了深遠的影響。它顯示歐幾里德幾何並非唯一邏輯一致的體系,為愛因斯坦的相對論鋪平了道路。

牛頓物理學從根本上來說是使用平坦的歐幾里德空間和通用時間的概念來描述運動,因此當地球不沿著直線運動時,牛頓必須用重力來解釋。愛因斯坦的相對論運用非歐幾何來描述彎曲時空,謂重力並非一種力,而是時空曲率的表現:巨大的太陽彎曲了其附近時空,地球只是沿著這一彎曲時空中之「最直」的路徑(測地線)運動而已。

同樣地,牛頓物理學假設重力只對有質量的物體施加力,而光是無質量的,因此光應該永遠沿著直線傳播。但愛因斯坦廣義相對論將重力描述為時空的彎曲(不是力),光將在這彎曲的時空沿著「直線」(測地線)傳播,但我們觀察到的將是「光不沿著直線傳播」!愛因斯坦的這一成功預測使他「瞬間」成為家喻戶曉的科學家(「延伸閱讀1」)。

歐幾里德幾何社會邏輯

人類可能是唯一知道死是怎麼一回事的動物,因此很早就在尋找生命的目的,很難接受霹靂一聲、無中生有地出現了時間、空間、及能量的近代宇宙觀(「延伸閱讀2」)。因此許多人認為我們來到這個世界是有目的的,我們是「上帝」(註四)創造出來的。因此「上帝」存在成了一個大家能接受、不需要證明的合理「公設」。對信教的人來說,它解釋了日常生活中的所有現象。對愛因斯坦及一些科學家來說:如果不是超人的「上帝」,為什麼我們看到的宇宙能不可思議地依循某些定律井然有序地運轉,但我們只是朦朧地了解這些定律?

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

在「延伸閱讀3」裡,筆者提到了要證明上帝的存在是很困難的,但要證明上帝不存在更加困難!因此「上帝不存在」也是屬於「不能證明、不需要回答的合理假設」,所以在民主國家裡人人有宗教信仰或不信仰的自由。

在社會上要證明某人沒有博士學位很困難甚或不可能(註五),因此能被接受、不需要證明之唯一合理假設應該是「人人沒有博士學位」。在這前提下,如果你說你有博士學位,則證明有博士學位的責任應該落在你身上,而不是檢察官或具告人!

同樣地,因為證明我們沒有犯罪很困難甚或不可能,所以「我們沒有犯罪」應該是唯一的不需要證明之合理假設;如果你控告我犯罪,那法庭應該要你(告訴人或檢察官)提出不被懷疑及合理質疑的證據。這事實上正是民主國家所採取的法律制度。

結論

歐幾里德的專著《幾何原本》為幾何學提供了一個系統而公理化的方法:他從一組不證自明的真理(公理和公設)出發,運用演繹推理推導出定理和證明,為數學的嚴謹性和邏輯推理確立了標準,塑造了數學家和科學家解決問題和建構理論的方式,甚至影響了數學以外的各個領域如法律和政治思想,在人類社會發展中發揮了基礎性作用。例如美國傑斐遜(Thomas Jefferson)和其他開國元勳們就是運用歐幾里德演繹法構建了《獨立宣言》:他們從類似於歐幾里德幾何的「不證自明」的真理━公理━入手,建立邏輯論證,以證明革命和建立新政府的必要性。因為這些基本原則被普遍接受,無需進一步證明,因此賦予了《獨立宣言》強大而不可否認的力量。

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

我們在這裡探討了日常生活中所碰到的宗教信仰、學位真假、與犯罪判決的爭論與判斷,得到結論:人人有宗教信仰或不信仰的自由,確定犯罪的責任在檢察官身上,證明有學位的義務則落在當事人身上!

註釋

  • (註一)嚴格地證明 \(\sqrt{2}\) 是無理數很簡單,有興趣的讀者可參考「延伸閱讀3」。
  • (註二)原則上必須是趨近於零的短線。
  • (註三)大圓弧是球體上任何圓心與球心重合的圓(例如赤道)。但是因為天氣、急流和空域限制等因素,航班並不沿著大圓弧路徑飛行,例如台北到舊金山的實際航線比大圓弧長了約10%。
  • (註四)這裡指的「上帝」是抽象的、廣泛的超人造物主。
  • (註五)在「延伸閱讀4」一文裡,筆者提到了要證明有博士學位應該是非常簡單的,如拿出正式的畢業證書或學校出證明;但要外人證明你沒有博士學位,則將與證明上帝不存在一樣更加困難:因為即使我們找遍全世界所有的地方,都沒發現你的論文或證書,我們還是不能說你沒有博士學位的博士學位━因為這不是「嚴格的邏輯證明」!

延伸閱讀

  1. 抱歉了愛因斯坦,但我真的沒辦法給那個酷理論——為何相對論與諾貝爾獎擦身而過?」,泛科學,2021/07/28。
  2. 思考的極限:宇宙創造出「空間」與「時間」? ——宇宙觀的發展史(下篇)|20 世紀後」,泛科學,2023/05/17。
  3. 愛因斯坦相信的上帝,是你以為的那位上帝嗎?」,泛科學,2018/03/30。
  4. 要被接受,需有不被合理質疑的證據–從科學與蔡博士學位事件討論起」,科技報導,2020/02/01。
  5. 從圓周率與無理數,談數學也有其無法理解、不精確、與不確定性」,泛科學,2019/06/03。
-----廣告,請繼續往下閱讀-----

討論功能關閉中。

賴昭正_96
51 篇文章 ・ 61 位粉絲
成功大學化學工程系學士,芝加哥大學化學物理博士。在芝大時與一群留學生合創「科學月刊」。一直想回國貢獻所學,因此畢業後不久即回清大化學系任教。自認平易近人,但教學嚴謹,因此獲有「賴大刀」之惡名!於1982年時當選爲 清大化學系新一代的年青首任系主任兼所長;但壯志難酬,兩年後即辭職到美留浪,IBM顧問研究化學家退休 。晚期曾回台蓋工廠及創業,均應「水土不服」而鎩羽而歸。正式退休後,除了開始又爲科學月刊寫文章外,全職帶小孫女(半歲起);現已成七歲之小孫女的BFF(2015)。首先接觸到泛科學是因爲它轉載我的科學月刊上的一篇文章「愛因斯坦的最大的錯誤一宇宙論常數」。

0

1
1

文字

分享

0
1
1
替晶片打造數學工具的喬治.布爾(George Boole)
數感實驗室_96
・2024/06/01 ・561字 ・閱讀時間約 1 分鐘

本文由 國立臺灣師範大學 委託,泛科學企劃執行。 

煮湯時看到調理包背面寫著「加水且加入鹽巴或味精,就大功告成了」。

這句話該怎麼解讀呢?邏輯思維好的人可能很快就能反應過來,意思是加水是必須的,鹽巴和味精至少要加一個。當然,兩者都加也行,但似乎不太健康。

你可能會說:「煮湯時誰會想那麼多?這太哲學了!」其實,19 世紀有位數學家將邏輯建立在數學而非哲學之上,他的貢獻深深影響了現代電腦的運算。他就是我們今天的主角——喬治.布爾(George Boole)。

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

在工作會議中,清晰的邏輯思維能幫助我們有條理地表達觀點,並迅速理解他人的意見;程式設計中,邏輯是核心,透過布林代數和邏輯運算,電腦能根據條件執行不同的任務,在智慧家電中利用邏輯閘判斷多個輸入條件來控制輸出結果。

因此,布爾提出的這一套邏輯思維與布林代數,不僅在學術領域至關重要,更是日常生活中不可或缺的工具。

更多、更完整的內容,歡迎上數感實驗室 Numeracy Lab 的 youtube 頻道觀看完整影片,並開啟訂閱獲得更多有趣的資訊!

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

討論功能關閉中。

數感實驗室_96
76 篇文章 ・ 55 位粉絲
數感實驗室的宗旨是讓社會大眾「看見數學」。 數感實驗室於 2016 年 4 月成立 Facebook 粉絲頁,迄今超過 44,000 位粉絲追蹤。每天發布一則數學文章,內容包括介紹數學新知、生活中的數學應用、或是數學和文學、藝術等跨領域結合的議題。 詳見網站:http://numeracy.club/ 粉絲專頁:https://www.facebook.com/pg/numeracylab/