“G的數字有兩種可能,是不是G?del 數” —-我的理解,如果G是那個公式,G應該有Godel數(即使公式不是定理)。

來源: 2024-01-15 10:52:05 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: