你前面关于逻辑一阶高阶,也不是十分明了
但你的表示方式跟我对Godel证明的理解相似
•
不好意思,我也只是些粗粗的思维,要讲清一句话,得有一篇文章的积累,我没有
-老键-
♂
(245 bytes)
()
12/01/2023 postreply
11:11:18
•
谢 至少你的高阶说给出另一个角度
-JSL2023-
♂
(0 bytes)
()
12/01/2023 postreply
11:16:28
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