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

来源: JSL2023 于 2024-04-13 09:53:02 [] [旧帖] [给我悄悄话] 本文已被阅读： 次 (0 bytes)
本文内容已被 [ JSL2023 ] 在 2024-04-13 10:31:41 编辑过。如有问题，请报告版主或论坛管理删除.
请您先登陆，再发跟帖！