有道理。TNT ProofPair和ArithemoQuine可能很复杂。上个帖我字面理解的跟帖可能把a和a’说反了。

来源: youdecide 于 2024-01-19 09:34:10 [档案] [博客] [旧帖] [给我悄悄话] 阅读数 : (405 bytes)

本帖于 2024-01-19 09:44:38 时间, 由普通用户 youdecide 编辑

回答: 无门关和歌德尔（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’说反了。