你再看看書上是怎麽說的。我估計Godel number和prim number不等同。非定理如

來源: youdecide 於 2024-01-15 18:46:15 [] [博客] [舊帖] [給我悄悄話] 閱讀數 : (331 bytes)

∃x((x=0) ∧ (x=1)) 也是有Godel number的（隻要Godel numbers在符號上定義之後）。

所有跟帖： 

• 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

請您先登陸，再發跟帖！