你再看看书上是怎么说的。我估计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

请您先登陆，再发跟帖！