無門關和歌德爾 （3）

來源: JSL2023 於 2024-01-17 08:29:02 [] [舊帖] [給我悄悄話] 閱讀數 : (1670 bytes)
本帖於 2024-01-17 10:03:49 時間, 由普通用戶 JSL2023 編輯

關於G E B的科普證明，有一點我沒有講清楚，隻好再囉嗦一下：）

在這個公式中，最關鍵的是 TNT ProofPair和ArithemoQuine 函數，

它們應該是能在一個在公理係統中能嚴格推導出來的。

因為是科普，作者就用了 ＂太複雜＂ 一筆帶過：）

作為參考，為了推出 a + b = b + a，TNT 用了56個步驟。

小歌的原版應該用的是不同的構造方式並且附有嚴格推導。

把推理變化成自然數特性 是發現 老羅公理係統 自指的關鍵。

因為這個發現，才有小歌的＂天才＂發現一說。

有自指後怎麽去說明不是關鍵，發現自指本身才是關鍵。

 

至於作者為什麽要引用無門關，可能是他看中了禪宗在破除思維障礙方麵的徹底性：）

就像作者引用Escher的畫和Bach的音樂一樣，

他翻來覆去想說人的思維實際上是被很深的限製了的。

破除這個障礙才是理解小歌證明的關鍵。

 

隻是他這裏用無門關 使我覺得我跟禪宗還真有點緣分：）

 

在youdecide 網友幫助下我大概明白了怎麽去正確解讀，再次感謝。

請您先登陸，再發跟帖！