我自己没完全绕出来
但是据GEB作者,老歌的证明已经有用到Quine.
我自己没完全绕出来
但是据GEB作者,老歌的证明已经有用到Quine.
•
看起来要仔细去研究一下Goedel的理论是怎么证出来的了。
-露重烟微-
♀
(0 bytes)
()
01/06/2024 postreply
13:07:00
•
我觉的老歌应该没有自己的"理论":)
-JSL2023-
♂
(190 bytes)
()
01/06/2024 postreply
13:45:12
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