G的G?del 数 怎么产生的?G必须是定理才能有G?del 数吧。

只看公式本身,不能说它就是定理吧:)

所有跟帖: 

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

请您先登陆,再发跟帖!