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

来源: 于 2024-04-13 09:53:02 [旧帖] [给我悄悄话] 本文已被阅读：次