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

解甲以前是学物理的，他说过一句话我印象很深，一般学物理的数学基础都不差，但是数学重逻辑自洽，物理重合理。

语言就更不能当作逻辑的凭证了，人脑中的思想与语言隔着一条鸿沟，这是常识。所以谈逻辑，不能扯语言。计算机因为要通过语言才能够被人类使用，所以永远解决不了bug，但是出错一定是人的错误，计算机不会出错，人只能debug，因为是人在通过语言输入计算机时自己沟通出错，或者人类自己逻辑出错。

人类的心理学就是通过逻辑去解释情绪，感情这些似乎与逻辑无关的事情，但是在科学发展到一定深度后，其中都有逻辑关系。

人的智能从逻辑中来，到逻辑中去，不是偶然的，因为世界是建立在逻辑的基础上的。这与有些人迷恋用一句话解释宇宙普适真理是两回事，真有那个真理，也是个无用的“真理”，各类人类神学中类似的废话已经很多了，但是无法用数学公式表达，只能用人类语言去虚套。

用一个公式去概括宇宙所有现象是人类的一个迷思，也许有，但是然并卵，万物相关，但是逻辑只在一个边界内有解。这类迷思源于人类试图解释，那是好听的，其实就是试图预测未知的一种徒劳。虽然人类逻辑解释预测的边界总是在扩大，但是宇宙是一个很大的话题，其时间跨度到空间跨度都远超人类寿命。

从一个蚂蚁的视角，如果蚂蚁有一定智能的话，现实中也存在人类这种可以左右一个蚁群命运的事情，但是蚂蚁试图解释并预测人类的行为，这是个很大的挑战。寻找解释宇宙万物的公式的尝试，从人类角度，与此是一个性质的事物。