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

來源: 2024-10-26 22:50:00 [舊帖] [給我悄悄話] 本文已被閱讀: