有道理。TNT ProofPair和ArithemoQuine可能很複雜。上個帖我字麵理解的跟帖可能把a和a’說反了。

來源: youdecide 於 2024-01-19 09:34:10 [檔案] [博客] [舊帖] [給我悄悄話] 閱讀數 : (405 bytes)

本文內容已被 [ youdecide ] 在 2024-01-19 09:44:38 編輯過。如有問題，請報告版主或論壇管理刪除.

回答: 無門關和歌德爾（3）由 JSL2023 於 2024-01-17 08:29:02

我又讀了，TNT ProofPair{a,a'}可能是說a是a'的證明，我說了a'是a的證明：

感覺應該是：不存在 a 使得 a 證明a'（不存在a such that a和a'是個 proof pair）: 推出G不是定理（G的Godel number 是a')。

您的位置：文學城 » 論壇 » 品茶小軒 » 有道理。TNT ProofPair和ArithemoQuine可能很複雜。上個帖我字麵理解的跟帖可能把a和a’說反了。