讓你可以證明任何結論的「居里悖論」

讓你可以證明任何結論的「居里悖論」
Image Credit: Matthew Leadbeater, CC BY-NC 4.0

我們想讓你知道的是

「如果這句話是真的,則地球是平的」這句說話,居然可以用來證明「地球是平的」?

今天(9月12日)是邏輯學家居里(Haskell Brooks Curry)生日,有三種程式語言以他名字命名,分別叫做Haskell、Brooks和Curry[1]

居里生於1900年的麻省,16歲就進哈佛大學打算讀醫學,但後來轉讀數學。本來他在哈佛攻讀博士,師承數學家伯克荷夫(George Birkhoff)研究微分方程,其後發現組合子邏輯(combinatory logic)的研究,於是搬到當時的數學重鎮——德國的哥廷根——研究,在希爾伯特(David Hilbert)指導下完成論文。

居里主要的研究領域為組合子邏輯,現時亦屬於電腦科學研究範圍之一。著名的創業投資公司Y Combinator,名字正是來自由居里發現的「Y組合子」[2],而這個組合子令到原版的λ演算系統產生矛盾。

邏輯學家邱奇(Alonzo Church)在1930年代提出的λ演算系統以及居里的一個組合子邏輯系統,在1935年被邱奇兩位門生基利(Stephen Kleene)及羅沙(John Barkley Rosser)提出的悖論證明隱含矛盾。後來居里把這個悖論簡化,變成邏輯學中著名的居里悖論。

邏輯符號或會太過嚇人,以下用較為淺白的語言解釋一下居里悖論。

讓我們定義「居里句」C為「如果C,則地球是平的」,雖然這句子自我指涉,基本上在說「如果這句話是真的,則地球是平的」,但看來好像無傷大雅。

根據同一律,我們知道「如果C,則C」,把上句後面的「C」換成上一段的定義,就得出「如果C,則『如果C,則地球是平的』」。但這個寫法太累贅了,我們可以簡化成「如果C,則地球是平的」——那不就是C本身嗎?所以從同一律出發,我們已經證明了C。

最後一步,就是結合「C」以及「如果C,則地球是平的」兩句,得出結論「地球是平的」。由於「地球是平的」這句在整個證明中形同虛設,無論你將之換成「動物傳心是真的」、「甘迺迪遇刺時在坐四人車」(其實是六人車)、「世界由蜥蜴人控制」等都一樣成立。

對邏輯學家而言,真正的噩夢是你可以推論出任何矛盾句。這個問題如何解決呢?最簡單的做法,是禁此這類居里句存在,如果要接受居里句,就必須修改推導規則[3]

居里悖論跟其他常見悖論如「說謊者悖論」和「羅素悖論」等的分別,在於沒直接使用「否定」(negation)[4]。有些非經典邏輯(non-classical logic)試圖以不同方式去理解「否定」,從而解決悖論,卻未必可以擺脫居里悖論。

相關文章︰

註︰

  1. 《維基百科》把實驗性的程式語言Brooks連結到另一語言Brook的條目,但該語言應跟居里無關。關於Brooks的描述可參考此論文
  2. 詳見Y Combinator網站上的FAQ
  3. 如果想了解多一點可以去查《維基百科》相關條目,看完還未夠的請參閱史舟福哲學百科(Stanford Encyclopedia of Philosophy)的文章
  4. (此註釋在文章刊出後補上)用點符號,設L為「¬L」,L可以構成說謊者悖論,但有些系統中「¬X」(否定)的定義為「X→⊥」(⊥的真值永遠為F,可以任何矛盾句代替),若把L設為「L→⊥」,就會變成居里句,構成居里悖論。

後記︰文章刊出後,有些讀者表示用符號比較容易理解,在此以符號簡單重寫一次,假設讀者懂得基本命題邏輯。設C為「C→ FlatEarth」,FlatEarth代表「地球是平的」。

  1. C→C       (同一律)
  2. C→(C→FlatEarth)  (根據1,以C的定義代入後一個C)
  3. C→FlatEarth    (把2簡化,兩句等價)
  4. C         (根據C的定義)
  5. FlatEarth      (3,4, modus ponens)

責任編輯:tnlhk
核稿編輯:王陽翎


猜你喜歡


新創盛會線上回歸,技術、經驗、創投全都包!7月15日AWS Startup Day現正報名中

新創盛會線上回歸,技術、經驗、創投全都包!7月15日AWS Startup Day現正報名中
Photo Credit:AWS

我們想讓你知道的是

AWS Startup Day 即將於 7 月 15 日重磅回歸,此次不只聚焦新創趨勢與數位應用,更聯合 AWS 創投新創媒合會,提供參與者豐富的資源,所有與新創生態系相關的夥伴都不容錯過。

隨著Web3.0去中心化的趨勢開展與現在進行式的產業數位轉型浪潮,雲端技術早已成為許多早期新創發展產品或服務的關鍵金鑰,甚至為其奠定高速發展的穩健根基。而台灣雲端服務供應龍頭 AWS(亞馬遜網路服務公司)更自Web2.0時代開始就從未缺席,始終在技術新知、應用實務等方方面面致力支持新創,其中最具代表性的免費論壇活動──AWS Startup Day也將於今年7月15日重磅回歸,在線上和參與者相會!

今年度AWS Startup Day持續聚焦新創趨勢與數位應用,精心規劃八場新創專題演說,非常適合長期關注新創生態系統的相關人士,或是正要起步、成長的新創夥伴報名參加。

立即報名2022 AWS Startup Day!

五大特色議程安排,給你滿滿新創觀點與技術乾貨

AWS_Startup_Day活動特色02
Photo Credit:AWS

「新創如何運用雲端科技打出一手好牌,投注資源延續未來業務?」這是今年AWS Startup Day欲探討的核心議題之一。為解答雲端科技之於新創企業的珍貴價值,AWS以「國際市場」、「創投趨勢」、「多元創業」、「雲端技術」、「焦點產業」等五大特色精心規劃講座內容,完整收錄新創趨勢脈動、雲端技術實務、佈局策略觀點與創投媒合等新創事業歷程的重要節點。為此,AWS不只力邀Web3.0、電商、串流、B2B解決方案等不同領域的新創合作夥伴,分享選擇AWS開展新創事業的策略考量,更毫不藏私地解析雲端技術如何快速又穩定的開拓事業。

議程02
Photo Credit:AWS

無論新創還是育成,想要洞見機會就不能錯過AWS Startup Day

活動對象
Photo Credit:AWS

任何產業或技術的發展,不單要前人的引領,也需要後繼者無窮盡的創新思維與打破框架的勇氣,缺乏其中一個環節,生態系都無法平衡永續。所以無論是天使創投、孵化器,還是剛起步或處於早期新創的企業,只要你身為新創生態系統中的一份子,渴望尋求創意突破或開展新興業務,AWS Startup Day都是你絕對不能錯過的最佳活動。

填單取得2022 AWS Startup Day 免費入場券!

尋找下一個新創獨角獸──同場加映AWS年度創投新創媒合會

本次AWS Startup Day除新創及創投相關講座外,AWS更直接邀請多家國際及台灣知名創投公司,與AWS Startup Day同場舉辦今年度唯一的線上「新創創投媒合會」,欲透過串聯本地深具潛力的新創與創投,幫助台灣新創企業獲得更豐富的資源,孕育下一個獨角獸。

根據AWS釋出的消息,媒合會將以早期天使輪或Pre-A輪融資為主,重點關注AI/ML工具和平台、智能零售、MarTech、Web3.0、媒體和娛樂等產業,並以快速輪流的形式替新創獲得最大的曝光。

立即報名2022 AWS Startup Day,共構台灣新創生態系統!


猜你喜歡