Godel用符号的Godel数的prime number次方,乘起来定义formula的Godel number。
你读的书可能用了其它的方法定义Godel数。
Godel数不对应定理。我记得你上次提到的prim numbers可能和定理有关。
Godel用符号的Godel数的prime number次方,乘起来定义formula的Godel number。
你读的书可能用了其它的方法定义Godel数。
Godel数不对应定理。我记得你上次提到的prim numbers可能和定理有关。
• 我的问题:)我看了两本书,没说清楚。 -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