被誤用的哥德爾「不完備性」定理

被誤用的哥德爾「不完備性」定理
Photo Credit: AP Photo / 達志影像

我們想讓你知道的是

「哥德爾不完備性定理」是數學上非常重要而且經常被誤解的定理。

在本網台灣版讀到一篇文章[1],摘錄自《生命解碼︰從量子物理、數學演算,探索人類意識創造宇宙的生命真相》一書,提及哥德爾不完備性定理(Gödel's incompleteness theorems)。這是數理邏輯中非常容易誤解的定理,而該篇文章作者正正誤解了這定理。

除了上述書摘外,我沒讀過《生命解碼》其他章節,但簡介提到「量子力學應該是靈魂的最佳見證者」,讀到這一句已認為應該小心對待,特別是作者林文欣沒有任何物理學背景,非常容易受坊間討論量子力學的文章誤導。無論是胡言亂語的偽科學,抑或出於好意簡化艱深內容、略去數學公式的科普文章,都會令外行人讀完後有錯覺以為自己了解量子力學。

該篇書摘中林文欣把「不確定性」及「不完備性」並置,但主要還是談不完備性定理,因此本文就不再多說量子力學的東西,集中討論數理邏輯。

悖論與不可判定命題

要談論哥德爾不完備性定理,自然少不免講述背景。林文欣表示︰

上世紀初,數學家在經過三次數學危機後,就一直想找到一個「完備」的絕對真理,一個能證明世上所有數學公理是真還是僞的演算法。因為之前,數學一直存在太多「既不能證明是真又不能證明是偽」的命題。

一,形式系統(formal system)中的公理就是最基本的命題[2],透過公理按變形規則轉換出來的才是定理。所以重點並非證明數學「公理」,而是「定理」。

二,他想說此前數學發現了一些「悖論」(paradox),但文中誤稱為「駁論」。相關的數學悖論有一個特點︰無論假設某命題是真是假,都會推出矛盾的結論。這跟「既不能證明是真又不能證明是偽」有重大分別,無法證明真偽的命題應是「不可判定」(undecidable),悖論存在則代表相應的數學系統隱含矛盾——根據古典邏輯中的「爆炸原理」,證明了矛盾句就可以證明任何命題。[3]

林文欣又聲稱不完備性定理「說明」了以下三件事︰

  1. 不是所有對的東西都可以被驗證,就像直覺一樣。
  2. 也沒有一種理論或真理可以永久解釋而不被超越。
  3. 同時也告訴我們,有些東西我們是不可能知道的。

當然都有問題,但容我先花點篇幅講述背景再解釋。

希爾伯特的形式主義

19世紀開始,數學變得越來越抽象,不同領域發展出各套公理。在第三次數學危機期間,數學家發現原有的「樸素集合論」(naive set theory)隱含矛盾,令他們關注數學本身是否有一個可靠的根基——例如一套可以推論出各門數學的公理系統。當時有幾個學派嘗試回答這問題,但本文重點只會放在形式主義(formalism),更準確一點說是數學家希爾伯特(David Hilbert)的形式主義。[4]

希爾伯特認為可以把較複雜的數學領域,化約至較簡單的數學系統,最終數學界只需要確保算術系統的一致性。問題是,如何用數學去證明數學系統一致?

他提出將數學變成一個形式系統,一個只有符號沒有文字的系統。公理就是一堆特定符號串,然後按明確的規則「搬弄符號」。符號代表的是數學命題,形式系統中的公理,正如對應數學系統中的公理,那些「搬弄符號」的規則就是數學上合法的推導步驟。

一致性與完備性

希爾伯特認為,當找到這套系統之後可以問一個問題︰這個系統從有限的符號串(公理)出發,按有限的規則轉換,會不會產生代表矛盾句——例如「0=1」——的符號?直觀上,這是數學可以處理的問題,就像可以證明國際象棋中不可能同時有兩隻同色「象」(主教) 在同一顏色的格中出現般。當然,證明仍然需要用到數學,希爾伯特認為證明如果只涉及有限的概念就可以接受。

假如能夠證明這個形式系統不會產生代表「0=1」的符號,就代表系統不會導致矛盾——否則的話,一個矛盾可以推出其他矛盾句。但是,形式系統不產生矛盾可能是因為本身太簡陋,所以希爾伯特有另一個要求︰任何能夠在該系統中表達的命題(嚴格來說是閉公式),都能夠證明或否證(即證明其否定句)。

不矛盾的要求稱為「一致性」,能證明或否證所有數學命題的要求稱為「完備性」。[5]

不完備性定理

要盡量淺白去介紹哥德爾不完備性定理的話,可以這樣說︰假設某個形式系統一致,而且可以表達基本的數學(如算術)[6],這個系統就不可能滿足「完備性」此條件。引伸的一個結果就是,用來描述算術的形式系統中,存在一些不可判定命題,無法證明也無法否證。此外,任何可以用來表示算術的系統,例如數學界普遍使用的ZFC集合論,都受到同樣限制(著名的連續統假設就是ZFC中的不可判定命題)。

讀者必須注意,在數理邏輯的相關討論,「證明」這個概念是相對於形式系統的,當提到「命題A不可證明」時,說的其實是「命題A不可在形式系統中S中證明」。事實上,要證明「不可判定命題」非常簡單,把它納入成為新公理就可以了——只是這個新形式系統又會有相應的不可判定命題。

天才橫溢的數學家馮諾伊曼(John von Neumann)得悉哥德爾的證明後,立即意識到其重要,並向他了解證明細節。後來馮諾伊曼發現了一件事︰哥德爾在算術系統中構造了一句不可判定命題,成功證明算術系統不可能完備,然而這蘊涵了另一重要命題——代表「『0=1』在本系統中不可證明」——也不可判定。不幸的是哥德爾回覆他早已發現這一點,並於幾天前寄出手稿,後世稱這結果為「哥德爾第二不完備性定理」。[7]

我認為要談論不完備性定理之前,必須要了解一點︰這條定理固然是數理邏輯甚至數學史上的重要發現,它跟不少大定理一樣是非常技術性的結果,但因為第三次數學危機的背景,以及其後設數學(以數學去研究數學系統)的特質,非常容易引起誤解。每當讀到有人將這條定理「應用」至數學以外的範疇,就應該加倍小心。

誤解邏輯定理


猜你喜歡


《錢都》品牌轉型學:導入數位化工具 起手NUEIP企業管理

《錢都》品牌轉型學:導入數位化工具 起手NUEIP企業管理
photo credit:人易科技

我們想讓你知道的是

錢都餐飲導入NUEIP的人資系統,讓各店長有機會展現自身更有價值與影響力的一面,也間接帶動各店彼此的目標達成士氣,讓品牌更有價值。

每天用餐時段一到,橘底白字的店面內,一個個小火鍋上桌,全家人的歡笑聲伴隨著鍋內沸騰的泡泡不斷冒出,這是錢都餐飲旗下老字號火鍋品牌「錢都日式涮涮鍋」的日常。從 1997 年創立至今,目前全台已擁有72間分店、來客數年破千萬,卻依然堅持使用精心熬煮 96 小時後的大骨高湯,並加入柴魚、昆布等食材增添其風味使湯頭更有層次,讓許多老饕顧客每每都感受到錢都令人難以忘懷的餐飲體驗。

而面對時代的變動,錢都近年來也持續推動品牌革新,翻新原有店面改裝成更符合年輕人風格的日系二代店,並積極計畫拓展店面,透過導入數位化工具,當輔助訓練大量儲備幹部與培訓人才時,能夠更加有效率。

NUEIP雲端人資包辦行政庶務,錢都店長安心放眼未來

image3
photo credit:人易科技/錢都
導入NUEIP讓店長們更有時間專注於達成公司營運績效。

錢都餐飲人資主任周芮昕表示,初期原本公司使用紙本打卡鐘,以全人工方式做薪資計算與審核。每個月月底,各店店長們都需要加班計算員工出缺勤與薪水,才能趕得及1號中午之前,讓物流車將紙卡載回總公司。接下來,總公司需加派人力逐張、逐行的人工登打進電腦,同時主管單位還會抽樣檢核正確性,前前後後繁複作業總需花上一週時間,而72間門店店長加上總公司登打與檢核的人力,更是可觀的成本。

「人工計薪誤差高、效率低,換算下來,NUEIP 幫我們幾乎節省了78%的時間與95%的人力成本,現在整個流程只需要兩個人、1.5 個工作天即可完成。不只效率高且基本上是零失誤,這些數值是我們在導入前完全沒意料到的。」周主任述說。錢都認為,店長們應該專注於門店的營運和管理,帶領門店達成公司經營目標,而不是加班執行繁瑣且無效率的行政作業。周主任認真地說道:「錢都餐飲導入NUEIP的人資系統,讓各店長有機會展現自身更有價值與影響力的一面,也間接帶動各店彼此的目標達成士氣,讓品牌更有價值。」

NUEIP療癒系出缺勤、排班與薪水管理,造福餐飲業者

image2
photo credit:人易科技/錢都
NUEIP的雲端人資系統排班介面清晰、操作簡易,且可計算計時人員的實際工作時數。

經營餐飲業的人都知道,餐飲業人員流動率高,加上計時人員眾多的情況下,要掌握員工的請假狀況只能經由店長回報,無法在第一時間知道。周主任說道:「以前各店排班是一件很痛苦的事情,幸好 NUEIP的排班功能對餐飲業非常友善。不僅可以依時數彈性安排工讀生的班表,不須建立上百個班別,還能自動檢核目前的人力配置是否妥當。搭配『實際工時統計』功能,可統計計時人員的實際工作時數,進而準確計算假期、加班時數與薪資,若人員有任何出勤狀況,總公司都能即時知曉或因應。」。

因為適切的系統功能,讓錢都餐飲在企業管理上能夠無所顧慮,周主任表示,雖然前期數位轉型時,要教育店長們使用電腦、熟悉功能,會經過約一個季度的轉換陣痛期。但現在不僅省去紙本操作、不用為了行政事務加班、各店人員可以輕鬆使用LINE進行上下班打卡或請假,店長們紛紛覺得這個轉換期很值得。對總公司來說,更降低了門市人員的控管風險,讓整個企業在力拼品牌規模時,更加順利地往前邁進。

image4
photo credit:人易科技/錢都
錢都藉由手機APP打造會員生態圈、力拼餐飲品牌規模。

雖然疫情肆虐全台業者,但錢都餐飲把握契機逆勢成長,開始發展電商通路,推出品牌麻辣鴨血豆腐、特色水餃、嚴選海鮮食材等;實體店方面,藉由手機會員 APP 打造超級會員經濟。錢都餐飲旗下品牌目前正積極討論拓點計畫,以優渥的薪資獎金招募優秀的儲備幹部,而在例行的行政事務上,則由 NUEIP 協助支援,讓門市與總部的聯繫更加緊密與即時,企業內部管理更加順暢有效率。


了解更多:https://www.nueip.com/

本文由「人易科技」提供,經關鍵評論網媒體集團廣編企劃審閱。


猜你喜歡