不知道你的判断是在什么层面:
我理解这里有三个层面 "数字" "推理"和 "跳出T N T "
在"数字"层次中:
"G 是 Gödel 数"对应 "G 不是 定理"
这我不知道怎么解释,我觉得书中解释有把" 数字"和 "推理"
混搭:)
不知道你的判断是在什么层面:
我理解这里有三个层面 "数字" "推理"和 "跳出T N T "
在"数字"层次中:
"G 是 Gödel 数"对应 "G 不是 定理"
这我不知道怎么解释,我觉得书中解释有把" 数字"和 "推理"
混搭:)
•
从你贴的页,字面理解:uncle是原来的公式。设这个公式的Godel数是u。把u带进公式里的a”。得到的公式叫G。
-youdecide-
♂
(397 bytes)
()
01/15/2024 postreply
12:53:20
•
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
•
从说谎者悖论开始理解,自指只是一方面,更基础的还有“negativity”, 也就是先假设G没有goedel数对应。
-露重烟微-
♀
(0 bytes)
()
01/15/2024 postreply
13:10:48
•
没明白你想说什么:)
-JSL2023-
♂
(0 bytes)
()
01/15/2024 postreply
17:37:26
•
GEB是从G不是一个Theorem开始讲起的。这和Liars Paradox一样,
-露重烟微-
♀
(130 bytes)
()
01/15/2024 postreply
19:11:12
•
恭喜,思考题做对了:)
-JSL2023-
♂
(0 bytes)
()
01/15/2024 postreply
19:21:38
WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.
Copyright ©1998-2025 wenxuecity.com All rights reserved. Privacy Statement & Terms of Use & User Privacy Protection Policy