0

0
0

文字

分享

0
0
0

羅素誕辰│科學史上的今天:05/18

張瑞棋_96
・2015/05/18 ・1203字 ・閱讀時間約 2 分鐘 ・SR值 569 ・九年級

1961 年 9 月,高齡 89 歲的羅素爵士(Bertrand Russell, 1872-1970)因煽動公民不服從以達成反核武訴求而遭到起訴,法官好心提供他免於牢獄之災的機會──只要他承諾從此奉公守法。羅素悍然拒絕,昂首入獄坐監七天。

在牢中的羅素應會想起近半世紀前,他也遭逢類似的情境。1914 年,第一次世界大戰爆發,他因反對戰爭而鼓吹青年不要從軍,結果他任教的劍橋大學三一學院給他兩條路:繳交一百英鎊罰金,否則捲鋪蓋走路。他當然不受威脅。四年後他又因反戰言論而被判刑六個月,他甘之如飴,在獄中完成《數學哲學導論》,以較易懂的方式介紹他與老師懷海德(Alfred Whitehead)合寫的《數學原理》。

這三大卷的巨著可是他與老師懷海德為了建構出真正完備的數學體系,自1900年起,花了十年光陰從地基開始一磚一瓦築成的心血結晶啊!為什麼要如此大費周章?因為舊有的數學體系已搖搖欲墜,一些所謂「不證自明」的公設根本經不起考驗(例如歐氏幾何中的平行公設);甚至當代大師康托爾等人企圖打造為數學根基的集合論,也被他的「理髮師悖論」(又稱「羅素悖論」)戳出漏洞。因此他才決定回歸邏輯,把數學建立在無懈可擊的邏輯推理上,這也是為什麼花 362 頁證明 1+1=2 是必要的。

然而他的《數學原理》竟成了粉碎聖杯美夢的墊腳石。25 歲的哥德爾受到這本著作的啟發(他會是世上唯一讀完它的人嗎?)於 1931 年提出「不完備定理」,證明不存在同時具有一致性與完備性的系統,他們這一代的努力都只是徒勞!

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

枉費他創建分析哲學,將哲學問題全面改用嚴謹的邏輯與數學描述,以避免語意上的誤解。更加諷刺的是,他原本寄予厚望的得意門生維根斯坦,後來竟背棄他以邏輯符號取代文字敘述的主張,反而認為世界根本是由語言塑造的。

但他已習慣命運的嘲弄了。崇尚邏輯思考的他,一生竟要籠罩在家族的精神病史陰影下,深恐自己也會遺傳此病。當他年老慶幸自己安然逃過一劫,孰知長子仍難逃精神分裂的宿命。

縱然人生充滿無奈,羅素仍堅守理性主義、自由精神與人道主義。他於 1950 年以《西方哲學史》一書獲頒諾貝爾文學獎,以表揚他「以多元且深具意義的著作捍衛人性與思想自由」;頒獎辭中形容他「在人類知識與數理邏輯方面,他的研究成果可以媲美牛頓在力學方面的成就。」

身為二十世紀最重要的思想巨擘之一,羅素也以行動積極參與公共事務,包括投入教育工作、主張裁減核武、宣揚反戰理念、鼓吹和平主義。死前兩天,他還發表聲明譴責以色列的擴張行動。羅素在宗教上是不可知論者,因此死後依其遺願沒有舉行宗教儀式,骨灰灑於山際。

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

 

 

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

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

0

0
1

文字

分享

0
0
1
Intel® Core™ Ultra AI 處理器:下一代晶片的革命性進展
鳥苷三磷酸 (PanSci Promo)_96
・2024/05/21 ・2364字 ・閱讀時間約 4 分鐘

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

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

在當今快節奏的數位時代,對於處理器性能的需求已經不再僅僅停留在日常應用上。從遊戲到學術,從設計到內容創作,各行各業都需要更快速、更高效的運算能力,而人工智慧(AI)的蓬勃發展更是推動了這一需求的急劇增長。在這樣的背景下,Intel 推出了一款極具潛力的處理器—— Intel® Core™ Ultra,該處理器不僅滿足了對於高性能的追求,更為使用者提供了運行 AI 模型的全新體驗。

先進製程:效能飛躍提升

現在的晶片已不是單純的 CPU 或是 GPU,而是混合在一起。為了延續摩爾定律,也就是讓相同面積的晶片每過 18 個月,效能就提升一倍的目標,整個半導體產業正朝兩個不同方向努力。

其中之一是追求更先進的技術,發展出更小奈米的製程節點,做出體積更小的電晶體。常見的方法包含:引進極紫外光 ( EUV ) 曝光機,來刻出更小的電晶體。又或是從材料結構下手,發展不同構造的電晶體,例如鰭式場效電晶體 ( FinFET )、環繞式閘極 ( GAAFET ) 電晶體及互補式場效電晶體 ( CFET ),讓電晶體可以更小、更快。這種持續挑戰物理極限的方式稱為深度摩爾定律——More Moore。

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

另一種則是將含有數億個電晶體的密集晶片重新排列。就像人口密集的都會區都逐漸轉向「垂直城市」的發展模式。對晶片來說,雖然每個電晶體的大小還是一樣大,但是重新排列以後,不僅單位面積上可以堆疊更多的半導體電路,還能縮短這些區塊間資訊傳遞的時間,提升晶片的效能。這種透過晶片設計提高效能的方法,則稱為超越摩爾定律——More than Moore。

而 Intel® Core™ Ultra 處理器便是具備兩者優點的結晶。

圖/PanSci

Tile 架構:釋放多核心潛能

在超越摩爾定律方面,Intel® Core™ Ultra 處理器以其獨特的 Tile 架構而聞名,將 CPU、GPU、以及 AI 加速器(NPU)等不同單元分開,使得這些單元可以根據需求靈活啟用、停用,從而提高了能源效率。這一設計使得處理器可以更好地應對多任務處理,從日常應用到專業任務,都能夠以更高效的方式運行。

CPU Tile 採用了 Intel 最新的 4 奈米製程和 EUV 曝光技術,將鰭式電晶體 FinFET 中的像是魚鰭般阻擋漏電流的鰭片構造減少至三片,降低延遲與功耗,使效能提升了 20%,讓使用者可以更加流暢地執行各種應用程序,提高工作效率。

-----廣告,請繼續往下閱讀-----
鰭式電晶體 FinFET。圖/Intel

Foveros 3D 封裝技術:高效數據傳輸

2017 年,Intel 開發出了新的封裝技術 EMIB 嵌入式多晶片互聯橋,這種封裝技術在各個 Tile 的裸晶之間,搭建了一座「矽橋 ( Silicon Bridge ) 」,達成晶片的橫向連接。

圖/Intel

而 Foveros 3D 封裝技術是基於 EMIB 更進一步改良的封裝技術,它能將處理器、記憶體、IO 單元上下堆疊,垂直方向利用導線串聯,橫向則使用 EMIB 連接,提供高頻寬低延遲的數據傳輸。這種創新的封裝技術不僅使得處理器的整體尺寸更小,更提高了散熱效能,使得處理器可以長期高效運行。

運行 AI 模型的專用筆電——MSI Stealth 16 AI Studio

除了傳統的 CPU 和 GPU 之外,Intel® Core™ Ultra 處理器還整合了多種專用單元,專門用於在本機端高效運行 AI 模型。這使得使用者可以在不連接雲端的情況下,依然可以快速準確地運行各種複雜的 AI 算法,保護了數據隱私,同時節省了連接雲端算力的成本。

MSI 最新推出的筆電 Stealth 16 AI Studio ,搭載了最新的 Intel Core™ Ultra 9 處理器,是一款極具魅力的產品。不僅適合遊戲娛樂,其外觀設計結合了落質感外型與卓越效能,使得使用者在使用時能感受到高品質的工藝。鎂鋁合金質感的沉穩機身設計,僅重 1.99kg,厚度僅有 19.95mm,輕薄便攜,適合需要每天通勤的上班族,與在咖啡廳尋找靈感的創作者。

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

除了外觀設計之外, Stealth 16 AI Studio 也擁有出色的散熱性能。搭載了 Cooler Boost 5 強效散熱技術,能夠有效排除廢熱,保持長時間穩定高效能表現。良好的散熱表現不僅能夠確保處理器的效能得到充分發揮,還能幫助使用者在長時間使用下的保持舒適性和穩定性。

Stealth 16 AI Studio 的 Intel Core™ Ultra 處理器,其性能更是一大亮點。除了傳統的 CPU 和 GPU 之外,Intel Core™ Ultra 處理器還整合了多種專用單元,專門針對在本機端高效運行 AI 模型的需求。內建專為加速AI應用而設計的 NPU,更提供強大的效能表現,有助於提升效率並保持長時間的續航力。讓使用者可以在不連接雲端的情況下,依然可以快速準確地運行各種複雜的 AI 算法,保護了數據隱私,同時也節省了連接雲端算力的成本。

軟體方面,Intel 與眾多軟體開發商合作,針對 Intel 架構做了特別最佳化。與 Adobe 等軟體的合作使得使用者在處理影像、圖像等多媒體內容時,能夠以更高效的方式運行 AI 算法,大幅提高創作效率。獨家微星AI 智慧引擎能針對使用情境並自動調整硬體設定,以實現最佳效能表現。再加上獨家 AI Artist,更進一步提升使用者體驗,直接輕鬆生成豐富圖像,實現了更便捷的內容創作。

此外 Intel 也與眾多軟體開發商合作,針對 Intel 架構做了特別最佳化,讓 Intel® Core™ Ultra處理器將AI加速能力充分發揮。例如,與 Adobe 等軟體使得使用者可以在處理影像、圖像等多媒體內容時,能夠以更高效的方式運行 AI 算法,大幅提高創作效率。為各行專業人士提供了更加多元、便捷的工具,成為工作中的一大助力。

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

討論功能關閉中。

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

0

1
1

文字

分享

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

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

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

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

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

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

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

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

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

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

討論功能關閉中。

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

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 位粉絲
名為大家,在藝術人文中,指「大師」的作品;在生活旅遊中,指「眾人」的興趣。