有道理。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’说反了。

发现Adblock插件