这是我绕不清的问题：）

不知道你的判断是在什么层面：

我理解这里有三个层面 "数字" ＂推理＂和 ＂跳出T N T ＂

 

在＂数字＂层次中：

＂G 是 Gödel 数＂对应 ＂G 不是 定理＂

这我不知道怎么解释，我觉得书中解释有把＂ 数字＂和 ＂推理＂

混搭：）

 

 

所有跟帖： 

• 从你贴的页，字面理解：uncle是原来的公式。设这个公式的Godel数是u。把u带进公式里的a”。得到的公式叫G。 -youdecide- ♂ (397 bytes) () 01/15/2024 postreply 12:53:20

• G的G?del 数 怎么产生的？G必须是定理才能有G?del 数吧。 -JSL2023- ♂ (63 bytes) () 01/15/2024 postreply 17:36:09

• Godel number 先在符号上定义，再在公式上定义。你可以查下Godel numbering。 -youdecide- ♂ (265 bytes) () 01/15/2024 postreply 18:08:22

• 我的问题：）我看了两本书，没说清楚。 -JSL2023- ♂ (61 bytes) () 01/15/2024 postreply 18:31:36

• 你再看看书上是怎么说的。我估计Godel number和prim number不等同。非定理如 -youdecide- ♂ (331 bytes) () 01/15/2024 postreply 18:46:15

• Kowtow，你的理解是对的：）改一下，多谢。 -JSL2023- ♂ (85 bytes) () 01/15/2024 postreply 19:04:14

• 可能prim number是Godel number，但所有的Godel numbers并不都是prim numbers -youdecide- ♂ (0 bytes) () 01/15/2024 postreply 19:04:16

• 多二页供参考：） -JSL2023- ♂ (82 bytes) () 01/15/2024 postreply 19:20:38

• 大概地理解了一些。形式上把G变成Quine’s paradox。 -youdecide- ♂ (0 bytes) () 01/15/2024 postreply 20:42:52

• 感觉proof pair {a,a’}是说a证明a’: -youdecide- ♂ (116 bytes) () 01/19/2024 postreply 09:50:25

• 从说谎者悖论开始理解，自指只是一方面，更基础的还有“negativity”， 也就是先假设G没有goedel数对应。 -露重烟微- ♀ (0 bytes) () 01/15/2024 postreply 13:10:48

• 没明白你想说什么：） -JSL2023- ♂ (0 bytes) () 01/15/2024 postreply 17:37:26

• GEB是从G不是一个Theorem开始讲起的。这和Liars Paradox一样， -露重烟微- ♀ (130 bytes) () 01/15/2024 postreply 19:11:12

• 恭喜，思考题做对了：） -JSL2023- ♂ (0 bytes) () 01/15/2024 postreply 19:21:38