這是我繞不清的問題：）

不知道你的判斷是在什麽層麵：

我理解這裏有三個層麵 "數字" ＂推理＂和 ＂跳出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