“理性的”不等于“算法的”，数学证明没法完全形式化，以及存在不能用形式系统表达的逻辑事实，这都是常识。

【 在 rouyiyi 的大作中提到: 】
: 可以用理性进行阐述的思维模式是可以用AI逐步实现的，这也恰恰是AI的优点
: 非理性的部分很困难，几乎不可能
:
--
FROM 111.167.233.*