我自己沒完全繞出來
但是據GEB作者,老歌的證明已經有用到Quine.
我自己沒完全繞出來
但是據GEB作者,老歌的證明已經有用到Quine.
•
看起來要仔細去研究一下Goedel的理論是怎麽證出來的了。
-露重煙微-
♀
(0 bytes)
()
01/06/2024 postreply
13:07:00
•
我覺的老歌應該沒有自己的"理論":)
-JSL2023-
♂
(190 bytes)
()
01/06/2024 postreply
13:45:12