首個世界邏輯日︰連結起20世紀兩大邏輯學家的日期

首個世界邏輯日︰連結起20世紀兩大邏輯學家的日期

我們想讓你知道的是

2019年1月14日是首個「世界邏輯日」,1月14日同時是邏輯學家哥德爾離世及塔斯基出生的日子。

邏輯學期刊《Logica Universalis》在今年1月14日舉辦首個「世界邏輯日」(World Logic Day),期刊主編北炯(Jean-Yves Béziau)希望能藉此推廣邏輯研究。據期刊網站資料,不同國家的多家大學均會在當日安排活動響應,例如以邏輯學為主題的演講或研討會等。

把「世界邏輯日」訂在1月14日,其中一個原因是這日子巧合地跟20世紀兩大邏輯學家有關︰哥德爾(Kurt Gödel)在1978年這一天逝世,而塔斯基(Alfred Tarski)於1901年該日出生。

這兩位同於1900年代出生(哥德爾生於1906年)的邏輯學巨人對上世紀數理邏輯發展舉足輕重。哥德爾證明的「不完備性定理」(incompleteness theorems)揭示了數學系統的限制,其證明亦屬「可計算性理論」(computability theory,又稱遞歸論 recursion theory)早期發展的重要結果。塔斯基則提出了形式語言中「真」和「邏輯後果」的定義,奠下了模型論(model theory)的基礎,並跟其學生將此領域發展成現代數理邏輯的一大支柱。

哥德爾不完備性定理常被詮釋成「存在真但不可證明的命題」,塔斯基也有一個跟不完備性定理有關的結果,稱為「真的不可定義」(undefinability of truth)。如果不熟悉邏輯學中對「真」的嚴格定義,很容易會望文生義,借題發揮。本文希望藉此機會,盡量不使用符號去解釋,響應「世界邏輯日」推廣邏輯學研究的宗旨。

AlfredTarski1968
Photo Credit: George Bergman, GNU Free Documentation License,
塔斯基

如何定義及理解「真理」是哲學長久以來的一大問題,哲學家發展出不同的「真理理論」嘗試解釋何謂「真理」。「真」這個看似普通的概念之所以難纏,一大原因是面臨各種悖論挑戰,當中最重要的相信是「說謊者悖論」——「這句話是假的」到底是不是真的?如果是的話,那句話就是假的;如果不是,又會變成真的了。

塔斯基從人工設計、有嚴格定義的形式語言着手,嘗試定義形式語言中「真」的意思。他區分了「對象語言」和討論對象語言的「後設語言」,當我們在討論某個句子是不是「真」的時候,使用的是比對象語言包含更多的後設語言。

20世紀初期,數理邏輯發展受到數學家希爾伯特(David Hilbert)的形式主義影響,出現各種邏輯及數學的形式系統。粗略來說,形式系統是嘗試把數學、邏輯系統化約為符號的產物,在形式系統之中,有嚴格定義的語法、明確的公理和推理規則,這些系統中的「定理」就是從公理出發,一步一步按照規則變換符號而得出的語句。理論上,任何人只要懂得按規則辦事,即使完全不明白符號代表甚麼意思,都能夠證明定理。

這一類只處理符號問題的研究,在邏輯學中屬於「語法」(syntax)範疇。例如形式主義的一項計劃,就是希望透過證明數學的形式系統不會透過規則變換得出「0=1」這類引起矛盾的句子,來證明數學系統並無矛盾,這就屬於語法的進路。

但單看符號不會有真假的問題,只有詮釋了符號才能討論真假,這屬於邏輯學中的「語意」(semantics)範疇。塔斯基的研究進路,令邏輯學家逐漸擺脫希爾伯特的影響,開始使用集合論等數學工具來研究邏輯問題。(當然這並非塔斯基一人的影響,在他以前亦有其他邏輯學家發展及使用相關概念。)

AP_510314018
Photo Credit: AP Photo
1951年,哥德爾(右二)與物理學家許文格(右一)同獲首屆愛因斯坦獎,愛因斯坦(左一)於其72歲生日(3月14日)頒發獎項。

而哥德爾證明的不完備定理,同樣對形式主義影響深遠。透過把算術的形式系統編碼,哥德爾找到一個讓算術系統描述自身的方法︰透過描述數字之間的關係,再「翻譯」成對應的形式系統語句。

假設這個算術形式系統一致——即不會同時證明A和¬A(「¬」在邏輯系統中代表「非」或「否定」)兩條定理——哥德爾構造了一個形式上類似說謊者悖論的「不可判定句」G,而這個系統既無法證明G,也無法證明¬G。這代表該算術系統「不完備」,而且其他更強的算術系統同樣受此限制。哥德爾的定理打擊了希爾伯特的形式主義計劃,但詳情涉及技術細節,在此略過。

塔斯基在提出形式語言中「真」的定義時,利用了哥德爾的編碼技巧,證明在一些算術系統中無法定義「算術真理」而不引致矛盾,原因同樣跟說謊者悖論有關,這項定理稱為「真的不可定義」。不過必須注意這項結果只局限於形式系統之中,而非我們平日使用的自然語言。

回到算術系統的問題,數學家可以利用集合論定義自然數及其加法和乘法,這個結構滿足我們對自然數的直覺及理解,稱為「標準模型」。在構想算術系統的公理和推理規則時,數學家也是按照以往研究自然數的特性來設計,而且我們能夠透過詮釋系統的符號,令形式系統跟標準模型對應。

透過算術系統證明出來的定理,經詮釋後都符合上述「標準模型」,通常會稱為「真」的算術語句——此處「真」的意思其實是「在標準模型中為真」。然而透過不完備定理,我們知道並非所有「真」的算術語句都能夠透過算術系統證明,甚至不存在一個能完整描述標準模型的算術系統。這就是坊間常稱不完備定理表示「存在真但無法證明的算術命題」的意思。

tarski_godel_v
Photo Credit: UC Berkeley, Bancroft Library

哥德爾另一項重要的數學結果,是證明了集合論中的「連續統假設」(Continuum Hypothesis)及「選擇公理」(Axiom of Choice)跟集合論的其他公理一致——即不會產生矛盾。後來數學家寇恩(Paul Cohen)則證明了集合論公理無法推論出這兩個命題,換言之,兩個命題均是集合論的「不可判定句」。這兩項結果的證明方法令集合論迅速發展。


猜你喜歡


2022網路使用調查:台灣家用連網裝置需求增,宅家防疫Wi-Fi滿屋專案逗相挺

2022網路使用調查:台灣家用連網裝置需求增,宅家防疫Wi-Fi滿屋專案逗相挺
photo credit:shutterstock

我們想讓你知道的是

根據關鍵議題研究中心的調查報告,台灣多數家庭仍為寬頻上網所苦,不僅費用過高,所獲得的上網速率、品質也不理想,無線網路的建置更是許多人的痛處。台灣大寬頻推出完整解決方案,不僅讓你宅家防疫擁有1G高速網路和影音娛樂,最新Wi-Fi 6+Mesh無線網路也幫你裝到好。

戴口罩、勤洗手,維持個人良好衛生習慣,已是全球新冠肺炎疫情肆虐下的日常。後疫情時代,許多人享有在家上班的權利,隨之也更依賴隨選視訊、線上會議、遠距教學,加上眾多線上遊戲、串流影音服務陸續登台,對家用網路是個不小的傳輸負擔。

由於行動網路(如4G、5G)的特性,頻寬是由該基地台與所有連線的手機共同分享,因此回到家中後,大多數人會切換到有線寬頻網路或是無線Wi-Fi,但隨著對網路的依賴加深、連線裝置越來越多,該如何建置穩定且高速的無線上網環境,可就不是人人都會的技能。就讓我們透過TNLR關鍵議題研究中心的網路調查,了解現代民眾對於上網的需求究竟有多高?

第三方市調顯示:民眾上網需求提高,快又穩定的家用網路為唯一首選

根據關鍵議題中心最新的調查,年齡20歲至45歲的台灣民眾並以上網人口比例加權,每日平均上網時間達5.1小時,能夠得知現代人對於網路使用已有相當高的依賴性;約六成的民眾集中於每日2小時至6小時之間,另有超過兩成的比例,每日上網時間高達8小時以上,可說是吃飯、工作、娛樂幾乎都離不開網路。

3
Photo Credit: 關鍵議題研究中心
根據關鍵議題中心最新的調查,年齡20歲至45歲的民眾,每日平均上網時間達5.1小時,超過兩成民眾上網甚至高達8小時以上。

由於電信業者過去的499之亂,以及部分業者推出低速率吃到飽的資費方案,在調查當中也顯示出將近七成的民眾,選擇使用行動網路(如4G、5G)作為主要的上網方式,家用網路(含Wi-Fi)則是接近四成。不過有趣的是,使用家用網路時,約有八成五的比例享受影音娛樂、將近六成則是用來玩遊戲,顯見多數民眾也知曉行動網路的極限,尖峰時段的頻寬和延遲表現不佳,轉而使用比較穩定的家用網路,也讓電視、電腦、手機等多種設備能夠同時上網。

3
Photo Credit: 關鍵議題研究中心
部分電信業者推出低速率吃到飽方案,讓近七成民眾選擇使用行動網路作為主要的上網方式,但隨著電信業者逐漸整併和5G基礎建設成本大幅度提升,未來充滿許多變數。
4
Photo Credit: 關鍵議題研究中心
影音娛樂、上網打遊戲,分別需要極高的頻寬和極低的延遲,這也是家用網路的強項。

不過即便是家用網路,各家業者的競爭也是不遑多讓;其中讓消費者最感不悅的,當屬超過六成比例的網路品質問題,接著是多裝置上網後的速度變慢,以及家中空間造成的Wi-Fi收訊不良……等問題。因此除了對外頻寬速度、穩定度之外,消費者同樣也在意家中Wi-Fi無線網路的速度與訊號覆蓋率,需要業者提供完整的解決方案。

5
Photo Credit: 關鍵議題研究中心
網路連線品質仍是多數消費者心中的痛,接著就是家中上網裝置越來越多造成的搶頻寬問題,以及Wi-Fi無線網路訊號的速度與覆蓋率。

1G上網速率、最新Wi-Fi 6無線網路、Mesh網狀無線網路隨處用

根據現代人各項使用網路的痛處,以及切合目前在家防疫的需求,台灣大寬頻推出「防疫短期」專案,6個月約期每月只要699元起,除了享有120M上網速度不限流量之外,還有免費的4K Android機上盒,近萬部MyVideo優質好片看到飽,更享有防疫級安裝,工程人員進屋安裝前將依國家級防疫規格清潔、消毒,讓你享有高速、超值、最安心的上網體驗。

更棒的是,每個月費用270元的Disney+隨選影音串流服務,防疫短期專案也提供3個月無限暢看!讓使用者能夠享受迪士尼、漫威、星際大戰、皮克斯、國家地理、Star等六大影視娛樂品牌,讓您在家防疫不無聊!

6
Photo Credit: 台灣大寬頻
台灣大寬頻推出「防疫短期專案」,簽約6個月、每個月699元起,即可享有優質的對外網路連線,以及免費的影視內容,再加碼享3個月的Disney+,觀賞100多部4K超高畫質和HDR影片!

若網路需求較高,如多人大家庭、透天厝……等,不妨考慮「Wi-Fi滿屋」專案。此專案能夠免費租用1台Mesh子機,與原有的Wi-Fi功能數據機一同提供更好的訊號覆蓋範圍,1G高頻寬速率方案更能夠免費租用2台。Mesh Wi-Fi透過無線方式相互連結母機與子機,不必為了安裝有線網路破換家中既有裝潢,即可立即提升訊號覆蓋範圍,且使用同一個SSID即可全屋無線漫遊,不用手動切換方便許多。

shutterstock_526662046
Photo Credit: shutterstock
Mesh Wi-Fi透過無線方式相互連結母機與子機,不必安裝有線網路破壞家中裝潢,即可立即提升訊號覆蓋範圍,並享有斷線自動路徑修復、同一SSID免切換等方便功能。

更棒的是,只要申辦「Wi-Fi滿屋」500M速率以上的寬頻方案,直接升級為最新的Wi-Fi 6無線網路,相較前一代Wi-Fi 5快兩倍、傳輸延遲更低、容納更多裝置同時連線、更省電,且相容於近期1~2年所購買的裝置。若是不需要Mesh子機,還可以選擇雲端遊戲平台GeForce NOW白金方案6個月+羅技有線搖桿、奧創插座+momo紅利金最高1,000元、Uniigym體感健身課程一年、瑪帛電視電話3個月等好禮任擇一,輕鬆在家玩遊戲、購物、運動、與親友聯繫!

1
Photo Credit: 台灣大寬頻
「Wi-Fi滿屋」專案免費借用Mesh子機,提升家中無線訊號覆蓋範圍,1G速率更能夠免費借用2台!還有MyVideo免費看2年、免費升級4K Android機上盒 + 藍牙聲控遙控器、加購Disney+年約年繳送您6個月等多重好康。
2
Photo Credit: 台灣大寬頻
「Wi-Fi滿屋」500M速率以上立即升級至最新、最快的Wi-Fi 6,免費享有速度提升、連線裝置數量增加、傳輸延遲更低……等多種好處,並相容近年購買的裝置,立即享用高速無線網路!

台灣大寬頻性價比高,領先其他同業

根據調查,多數人每月願意負擔的家庭網路費用為新台幣千元以下,比例超過八成,整體平均金額為新台幣656元。台灣大寬頻每月只要699元起,就可以享有120M網路和免費借用1台Mesh子機,最快的1G頻寬每月也只要999元,而且1G寬頻方案可免費借用2台Wi-Fi 6 Mesh子機,相較老牌電信1G上網每月2,399元,可說是十分划算。

3
Photo Credit: 關鍵議題研究中心
超過八成民眾每月願意負擔的家庭網路費用在新台幣千元以下,台灣大寬頻分別提供120M/699元、300M/799元、500M/899元、1G/999元等方案,讓您可以根據預算和需求進行選擇。

除了提供優質且吸引人的上網方案,台灣大寬頻更重視上網品質,使用HFC混合光纖同軸網路,選擇成本較高、傳輸穩定的光纖作為骨幹網路,最高可以申請1G速率,且可供裝區域比老牌電信更多。免電路月租費、不限流量,數據機直接內建路由器和Wi-Fi無線網路功能,開機即上網,不用額外購置無線路由器,更不必費心繁雜設定。

還在煩惱在家防疫該如何選擇快又穩定、方案超值的家用網路專案嗎?台灣大寬頻是您的優質首選,立即使用、高速上網、影視資源、無線網路等多個願望一次滿足。

台灣大寬頻【防疫短期】專案請點我

台灣大寬頻【Wi-Fi滿屋】專案請點我

更多方案請洽台灣大寬頻 網路門市 請點我


猜你喜歡