所以我没有用逻辑和算法来阐述，用了理性和非理性作为区分，你看懂了吗

【 在 qtpr 的大作中提到: 】
: “理性的”不等于“算法的”，数学证明没法完全形式化，以及存在不能用形式系统表达的逻辑事实，这都是常识。
:
--
FROM 60.191.76.*