期待。

来源: 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

请您先登陆，再发跟帖！