G的Godel数是a'(公式里Arithmo...)。公式里的TNT-PROOF...说a'(相应的公式)是a证明。但整个公式是不存在a使得a'(也是arithmoqunification of u)是a的证明。就是说,没有公式(如果它的Godel数是a')是a的证明。但这个公式G本身的Godel数就是a'。所以G不是定理(因为不存在a,G是a的证明)。
从你贴的页,字面理解:uncle是原来的公式。设这个公式的Godel数是u。把u带进公式里的a”。得到的公式叫G。
所有跟帖:
• G的G?del 数 怎么产生的?G必须是定理才能有G?del 数吧。 -JSL2023- ♂ (63 bytes) () 01/15/2024 postreply 17:36:09
• 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
• 感觉proof pair {a,a’}是说a证明a’: -youdecide- ♂ (116 bytes) () 01/19/2024 postreply 09:50:25