期待。

來源: JSL2023 於 2024-01-06 12:06:02 [] [舊帖] [給我悄悄話] 閱讀數 : (104 bytes)

我自己沒完全繞出來

但是據GEB作者，老歌的證明已經有用到Quine.

所有跟帖： 

• 看起來要仔細去研究一下Goedel的理論是怎麽證出來的了。 -露重煙微- ♀ 給 露重煙微 發送悄悄話 (0 bytes) () 01/06/2024 postreply 13:07:00

• 我覺的老歌應該沒有自己的＂理論＂：） -JSL2023- ♂ 給 JSL2023 發送悄悄話 (190 bytes) () 01/06/2024 postreply 13:45:12

請您先登陸，再發跟帖！