赞，不完全是话语术，但这个＂程序＂的确不象计算机程序那样，至少有罗素的数理逻辑背书：）退一步，也还要过 哥德尔 一关。

来源: JSL2023 于 2024-04-13 09:53:02 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
本帖于 2024-04-13 10:31:41 时间, 由普通用户 JSL2023 编辑
请您先登陆，再发跟帖！