主题：逻辑和人工智能 -- texasredneck

这个楼主倒是提出过了。数学建立在逻辑的基础上，但是逻辑早于数学，逻辑也可以接受神学。我觉的楼主把数学当作逻辑了。

人的思维规律重视逻辑，可能因为人脑在量化上做不到，所以优化了之后的结果。因此逻辑是人脑的一个主要特点，不代表自然界一切都按照逻辑，但是对人来说，逻辑在一定程度上够用了。至于再往下走，逻辑受到了量化的挑战，现在的时代似乎到了这个关键点，人类摆脱依赖大脑之后，用自己发明的计算机去根据量化解释自然界，这个过度时期肯定会很长，是否量化可以取代人类大脑为人类生存做保障，谁也不知道。

不过，目前看量化能力提高之后，计算机在某些问题上超越逻辑为主的人类大脑是肯定的。话说，谁也没有规定计算机不可以使用逻辑啊，计算机也可以自我决定什么时候走量化路线，什么时候跟人学使用逻辑。虽然目前这个选择权还在人的手中，但是一旦计算机自己可以决定了，智能超越人类是无疑的。

计算机自主推理能力，就是使用逻辑的能力，是不同于计算机按照人的逻辑运行的能力的。楼主似乎要论证，按照数理逻辑01码建立起来的计算机系统是无法产生超出这个逻辑之外的事务的，似乎那样就是循环论证了。其实那不是悖论，而是复杂化的自然结果。比如，每一颗树的生长都可以有逻辑上的科学理解，但是一片树林的发育则无法预测或用逻辑去解释，除非高度优化扔掉大多数"噪音"。