最形式化的与最自由化的融于一炉，颇有两极相通的意思。关于自指，凑个趣，详情见内。

哥德尔第二不完备性定理与罗素悖论异曲同工，都指向悖论的两个要素，一，自指，形式系统证明它自身的协调性，显然涉及自指。二，无限，皮亚诺算术公理里蕴涵数学归纳法，而数学归纳法涉及无限。

哥德尔第二不完备性定理说，任何协调的形式系統，只要蕴涵皮亚诺算术公理，就不能用于证明它本身的协调性。

非常抽象，听着如坠五里雾里。如果用“我”来替换“蕴涵皮亚诺算术公理的形式系统”，那末，哥德尔第二不完备性定理可以表述为: 我可以证明别人是协调的，但不能证明自己是协调，如果我可以证明我是协调的，那么我是不协调的。

如果还觉得烧脑，只好使出吃奶的劲。用最形象的话来说就是，抓住头发，我可以将别人提离地面，但无法将自己提离地面。

所有跟帖： 

• 这个＂我＂比得好：歌德尔牛的地方还在于他的证明是建立在罗素的＂非自指＂公理系统之上的：） -JSL2023- ♂ (63 bytes) () 01/20/2024 postreply 08:06:33

• 等闲下来，无门关这一课我得补上。 -来罘- ♂ (0 bytes) () 01/20/2024 postreply 10:54:43

• 数学不好说。至于物理，万物之理，从佛法的角度看，我们这个世界的人都是被制约了（conditioned) -freemanli01- ♂ (798 bytes) () 01/20/2024 postreply 08:51:34

• 不纠结，就按＂condition “向前：） -JSL2023- ♂ (0 bytes) () 01/20/2024 postreply 09:15:48

• 两极相通，此为自由一极。两极之间是连续统，作为俗人我居中。 -来罘- ♂ (0 bytes) () 01/20/2024 postreply 10:55:13

• 这事儿看来是这样，世界是什么/我选择什么，是两码事儿。根本上人有自由意志，没有天生的应该，目标是自己定的。只有选定了目标 -freemanli01- ♂ (1467 bytes) () 01/20/2024 postreply 11:11:57

• 类似的故事听到过，大意是最难改造的右派是老基督徒。在极端情况下，纯粹理性抗不过宗教信仰。 -来罘- ♂ (0 bytes) () 01/20/2024 postreply 14:17:10

• 感觉有系统和没系统，差别很大。世界观对人生观影响也很大。 -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- ♂ (66 bytes) () 01/21/2024 postreply 09:22:52

• 有趣的观察，对佛教的信仰程度和人在文革中表现会有关系吗？ -JSL2023- ♂ (0 bytes) () 01/20/2024 postreply 15:34:37

• 出国前看过一个柏林禅寺净慧长老的故事，文革时寺庙被查封，和尚强迫劳动，他就在劳动间隙休息的时候，往墙角一靠盖上草帽打坐 -freemanli01- ♂ (484 bytes) () 01/20/2024 postreply 18:17:07