你回头再仔细读一下吧：）

我的原话：

问一个俗人的问题，Gödel 是不是用严格的数学证明了老子的  道可道。

＊更新二月后：

我感觉更准确表达应该是

Gödel 证明 说明了严格逻辑推理也遵守＂道可道 非常道＂的原则。

所有跟帖： 

• 不是很明白“道可道，非恒道”的原则是指什么？ -露重烟微- ♀ (531 bytes) () 10/26/2024 postreply 19:34:51

• 你看这个清楚不：）道可道非常道 的原则 -JSL2023- ♂ (1082 bytes) () 10/26/2024 postreply 20:02:54

• 您这个理解比较小众。 -露重烟微- ♀ (565 bytes) () 10/26/2024 postreply 20:44:49

• 关不关联本身就是无门关啊，你要怎么证明：） -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 21:53:13

• 您不是说了嘛，不关联不用证，关键是要证关联。：） -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 22:07:00

• 对嘛，我不是一直在问你怎么征无门关？或者狗有无佛性一类：） -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 22:09:55

• 说了啊，自相矛盾自动不成立。：） -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 22:22:00

• 那不正好？我从头到尾都在问 狗有无佛性 和 Godel有什么关系：） -JSL2023- ♂ (931 bytes) () 10/26/2024 postreply 22:25:08

• 所以Goedel为啥要费劲编码，心证即可：不管回答公理系统能不能推出所有定理，您都丧失了自己的佛性。同曲同工，是不是更妙？ -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 22:50:00

• 你理解反了，你要问老荷为啥要引无门关：已经有了Godel 为啥要引无门关：） -JSL2023- ♂ (130 bytes) () 10/27/2024 postreply 00:28:54

• 1. 更有趣味性 2. “无门关”认为语言不可靠，因为容易形成矛盾，但却又要依靠语言来传授知识。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 12:05:00

• Goedel推出某些形逻数学系统不可靠，但数学家又要用这些系统来证明。这是一个类比方便理解。再细的等我周末要有空写个长篇。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 12:07:00

• 那不就有关联了吗？道可道与无门关有什么不同？别又等大半年：） -JSL2023- ♂ (133 bytes) () 10/27/2024 postreply 15:35:58

• 能类比就叫有关联？ 那别说半年啦，半生都不够用。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 17:19:40