從你貼的頁，字麵理解：uncle是原來的公式。設這個公式的Godel數是u。把u帶進公式裏的a”。得到的公式叫G。

來源: youdecide 於 2024-01-15 12:53:20 [] [博客] [舊帖] [給我悄悄話] 閱讀數 : (397 bytes)
回答: 這是我繞不清的問題：） 由 JSL2023 於 2024-01-15 11:39:28

G的Godel數是a'（公式裏Arithmo...）。公式裏的TNT-PROOF...說a'（相應的公式）是a證明。但整個公式是不存在a使得a'（也是arithmoqunification of u)是a的證明。就是說，沒有公式（如果它的Godel數是a')是a的證明。但這個公式G本身的Godel數就是a'。所以G不是定理（因為不存在a，G是a的證明）。

所有跟帖： 

• G的G?del 數 怎麽產生的？G必須是定理才能有G?del 數吧。 -JSL2023- ♂ 給 JSL2023 發送悄悄話 (63 bytes) () 01/15/2024 postreply 17:36:09

• Godel number 先在符號上定義，再在公式上定義。你可以查下Godel numbering。 -youdecide- ♂ 給 youdecide 發送悄悄話 youdecide 的博客首頁 (265 bytes) () 01/15/2024 postreply 18:08:22

• 我的問題：）我看了兩本書，沒說清楚。 -JSL2023- ♂ 給 JSL2023 發送悄悄話 (61 bytes) () 01/15/2024 postreply 18:31:36

• 你再看看書上是怎麽說的。我估計Godel number和prim number不等同。非定理如 -youdecide- ♂ 給 youdecide 發送悄悄話 youdecide 的博客首頁 (331 bytes) () 01/15/2024 postreply 18:46:15

• Kowtow，你的理解是對的：）改一下，多謝。 -JSL2023- ♂ 給 JSL2023 發送悄悄話 (85 bytes) () 01/15/2024 postreply 19:04:14

• 可能prim number是Godel number，但所有的Godel numbers並不都是prim numbers -youdecide- ♂ 給 youdecide 發送悄悄話 youdecide 的博客首頁 (0 bytes) () 01/15/2024 postreply 19:04:16

• 多二頁供參考：） -JSL2023- ♂ 給 JSL2023 發送悄悄話 (82 bytes) () 01/15/2024 postreply 19:20:38

• 大概地理解了一些。形式上把G變成Quine’s paradox。 -youdecide- ♂ 給 youdecide 發送悄悄話 youdecide 的博客首頁 (0 bytes) () 01/15/2024 postreply 20:42:52

• 感覺proof pair {a,a’}是說a證明a’: -youdecide- ♂ 給 youdecide 發送悄悄話 youdecide 的博客首頁 (116 bytes) () 01/19/2024 postreply 09:50:25

請您先登陸，再發跟帖！