重發: Godel 和 道可道

本文內容已被 [ JSL2023 ] 在 2024-10-28 01:23:16 編輯過。如有問題,請報告版主或論壇管理刪除.

蔣網友問我什麽是道可道,重發一年前我的首發:)

https://bbs.wenxuecity.com/teatime/738523.html

我的理解,道可道非常道:

世上的道理可以表達出來,但表達岀來的道理不是恒定不變的。

這個基本原則體現在 Gödel 不完備定律中

-----

前幾天看見討論邏輯,不見有人提起這本書

Gödel, Escher, Bach: an Eternal Golden Braid. 

 

包遵信的現代叢書出過它的簡寫本。

大開腦洞的插畫和關於理論不完備性的證明給大家留下深刻的印象。

那本書在各宿舍傳來傳去,再也沒能回來。

 

十幾年後,買了原版,有了一個新發現。作者在正式引進Gödel 的證明時,

化了一整節討論 Mumon and Gödel. Mumon 指的是 禪宗的 無門關,

我正是從那時起才真正開始接觸四書五經。

 

我隻能把這本書當趣味燒腦讀物看,

時不時拿起書溫習一下如何比較實數和整數的多少,

或飛矢不動的原理,或完美留聲機會自毀,

或"州雲無“的形式邏輯及相應的數學遊戲。

 

Escher的畫和印度數學怪才會讓人覺著六祖的頓悟不是傳說。

 

問一個俗人的問題,Gödel 是不是用嚴格的數學證明了老子的  道可道。

*更新二月後:

我感覺更準確表達應該是

Gödel 證明 說明了嚴格邏輯推理也遵守"道可道 非常道"的原則。

 

所有跟帖: 

這本書我有, 隻看了開頭幾頁, 太長,還沒時間看完。 G?del, Escher, Bach -eciel567- 給 eciel567 發送悄悄話 (131 bytes) () 10/25/2024 postreply 15:26:03

以前還討論過怎麽證,有空再翻翻舊帖:) -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/25/2024 postreply 16:29:43

啊,已經一年了嗎? 在您的推薦下買了這本書,中間連帶將Goedel的論證也看了一遍。 -露重煙微- 給 露重煙微 發送悄悄話 (126 bytes) () 10/25/2024 postreply 15:27:11

這個你說過多次了:)不過你的第九章讀後感一直沒發啊:) -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/25/2024 postreply 16:31:42

您要不介意的話,我今晚可以得空寫寫發了。:) -露重煙微- 給 露重煙微 發送悄悄話 (0 bytes) () 10/25/2024 postreply 16:40:00

已經等了大半年了:) -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/25/2024 postreply 16:45:40

我也有興趣讀。 -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/25/2024 postreply 17:09:48

我對公理體係的完備性這個事不大了解。印象裏是說任何一個公理體係,都會存在對錯不可能被證明的命題,不知道這個印象對不對? -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/25/2024 postreply 17:15:27

差不多吧。嚴格證明有一定要求,至少能描述正整數運算。 -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/25/2024 postreply 17:20:22

如果我的印象是對的,那跟道可道,就沒什麽關係了呀。一個公理體係,表達出來,就是說出來的道。所以道確實可道。 -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/25/2024 postreply 17:39:20

公理體係不完備,是說什麽樣的道,都不能覆蓋所有的事。這個道理,是講人類認知的局限,這個是康德的二律背反的翻版。 -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/25/2024 postreply 17:43:19

那這不就是 非常(恒)道嗎?:) -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/25/2024 postreply 17:58:51

我的理解,道可道非常道,是說能講出來的道理,都不是永恒不變的天道。所以我說他這個話,是自己講不出天道,就找借口 -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/25/2024 postreply 18:26:52

說天道沒法講。如果他說根本沒有覆蓋一切的天道,就沒有問題。這不是他的意思。 -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/25/2024 postreply 18:31:56

你的意思是有永恒不變覆蓋一切的天道,可以講岀來? -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/26/2024 postreply 01:42:43

老子說道可道非常道,名可名非常名,意思是 有永恒不變覆蓋一切的天道,但是講不岀來。我的意思,是這個話與公理體係的完備性, -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/26/2024 postreply 06:37:27

沒有關聯。 -蔣聞銘- 給 蔣聞銘 發送悄悄話 蔣聞銘 的博客首頁 (0 bytes) () 10/26/2024 postreply 06:39:27

那你可能需要解釋一下你是怎麽看(推)出"永恒不變的":)而且明明說"可道可名",為什麽你說"說不出"? -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/26/2024 postreply 06:50:21

我大概知道你我解讀的區別:) -JSL2023- 給 JSL2023 發送悄悄話 (277 bytes) () 10/26/2024 postreply 17:54:31

這個我同意你的, 能用公理體係表達出來, 就是“說得清,道得明”的。 -eciel567- 給 eciel567 發送悄悄話 (0 bytes) () 10/26/2024 postreply 06:54:21

如果都說得清,道得明,就沒有Godel 什麽事了:) -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 10/26/2024 postreply 07:03:55

請您先登陸,再發跟帖!