期待。

我自己没完全绕出来

但是据GEB作者,老歌的证明已经有用到Quine.

所有跟帖: 

看起来要仔细去研究一下Goedel的理论是怎么证出来的了。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 01/06/2024 postreply 13:07:00

我觉的老歌应该没有自己的"理论":) -JSL2023- 给 JSL2023 发送悄悄话 (190 bytes) () 01/06/2024 postreply 13:45:12

请您先登陆,再发跟帖!