只看公式本身,不能说它就是定理吧:)
G的G?del 数 怎么产生的?G必须是定理才能有G?del 数吧。
所有跟帖:
•
Godel number 先在符号上定义,再在公式上定义。你可以查下Godel numbering。
-youdecide-
♂
(265 bytes)
()
01/15/2024 postreply
18:08:22
•
我的问题:)我看了两本书,没说清楚。
-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