所以Goedel為啥要費勁編碼，心證即可：不管回答公理係統能不能推出所有定理，您都喪失了自己的佛性。同曲同工，是不是更妙？

所有跟帖： 

• 你理解反了，你要問老荷為啥要引無門關：已經有了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