最形式化的與最自由化的融於一爐,頗有兩極相通的意思。關於自指,湊個趣,詳情見內。

回答: 無門關和歌德爾JSL20232024-01-19 12:22:38

哥德爾第二不完備性定理與羅素悖論異曲同工,都指向悖論的兩個要素,一,自指,形式係統證明它自身的協調性,顯然涉及自指。二,無限,皮亞諾算術公理裏蘊涵數學歸納法,而數學歸納法涉及無限。

哥德爾第二不完備性定理說,任何協調的形式係統,隻要蘊涵皮亞諾算術公理,就不能用於證明它本身的協調性。

非常抽象,聽著如墜五裏霧裏。如果用“我”來替換“蘊涵皮亞諾算術公理的形式係統”,那末,哥德爾第二不完備性定理可以表述為: 我可以證明別人是協調的,但不能證明自己是協調,如果我可以證明我是協調的,那麽我是不協調的。

如果還覺得燒腦,隻好使出吃奶的勁。用最形象的話來說就是,抓住頭發,我可以將別人提離地麵,但無法將自己提離地麵。

所有跟帖: 

這個"我"比得好:歌德爾牛的地方還在於他的證明是建立在羅素的"非自指"公理係統之上的:) -JSL2023- 給 JSL2023 發送悄悄話 (63 bytes) () 01/20/2024 postreply 08:06:33

等閑下來,無門關這一課我得補上。 -來罘- 給 來罘 發送悄悄話 來罘 的博客首頁 (0 bytes) () 01/20/2024 postreply 10:54:43

數學不好說。至於物理,萬物之理,從佛法的角度看,我們這個世界的人都是被製約了(conditioned) -freemanli01- 給 freemanli01 發送悄悄話 freemanli01 的博客首頁 (798 bytes) () 01/20/2024 postreply 08:51:34

不糾結,就按"condition “向前:) -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 01/20/2024 postreply 09:15:48

兩極相通,此為自由一極。兩極之間是連續統,作為俗人我居中。 -來罘- 給 來罘 發送悄悄話 來罘 的博客首頁 (0 bytes) () 01/20/2024 postreply 10:55:13

這事兒看來是這樣,世界是什麽/我選擇什麽,是兩碼事兒。根本上人有自由意誌,沒有天生的應該,目標是自己定的。隻有選定了目標 -freemanli01- 給 freemanli01 發送悄悄話 freemanli01 的博客首頁 (1467 bytes) () 01/20/2024 postreply 11:11:57

類似的故事聽到過,大意是最難改造的右派是老基督徒。在極端情況下,純粹理性抗不過宗教信仰。 -來罘- 給 來罘 發送悄悄話 來罘 的博客首頁 (0 bytes) () 01/20/2024 postreply 14:17:10

感覺有係統和沒係統,差別很大。世界觀對人生觀影響也很大。 -freemanli01- 給 freemanli01 發送悄悄話 freemanli01 的博客首頁 (469 bytes) () 01/21/2024 postreply 04:19:32

好象有個黑人影星有句台詞是,You can't beat the system... -來罘- 給 來罘 發送悄悄話 來罘 的博客首頁 (0 bytes) () 01/21/2024 postreply 08:40:37

我寫的時候,也碰巧想到那個場景,一個黑人籃球運動員對著對手吼,it's the system!他說的是商業係統,體育係統 -freemanli01- 給 freemanli01 發送悄悄話 freemanli01 的博客首頁 (66 bytes) () 01/21/2024 postreply 09:22:52

有趣的觀察,對佛教的信仰程度和人在文革中表現會有關係嗎? -JSL2023- 給 JSL2023 發送悄悄話 (0 bytes) () 01/20/2024 postreply 15:34:37

出國前看過一個柏林禪寺淨慧長老的故事,文革時寺廟被查封,和尚強迫勞動,他就在勞動間隙休息的時候,往牆角一靠蓋上草帽打坐 -freemanli01- 給 freemanli01 發送悄悄話 freemanli01 的博客首頁 (484 bytes) () 01/20/2024 postreply 18:17:07

請您先登陸,再發跟帖!