集异壁第十七章——真与美

本章开始，作者向我们介绍了丘奇定理：没有任何切实可靠的方法总能区分开真的数论语句和假的数论语句。

根据以上定理我们可以得到：Floop程序和和我们的大脑的符号层是一种同构，但是，神经原与数字电路不能同构。从中我们可以得到一个结论：创造性本质上依赖着某种“不可解释的”此层次事物。作者在这里买了一个关子，将在后两章解释这个问题。

那么我们是否可以用计算机来模拟神经原，从而推导出较高层次的“符号层”呢？根据丘奇定理，是可以的。因为模拟神经元不难，但是这取决于你对智能的定位，一个求微积分的程序，下棋程序还是能够分辨美的程序？此外不要认为计算机程序是理智的，它完全可以打印一些不理智的东西。理性和非理性是可以共存的。

形式与意义

形式分句法性质和语义性质，前者有Bloop得出，后者随着时间的流逝，意义开始变得明朗。意义也有两面性：本身固有的意义和其与世间万物的关系。就像是巴赫和周杰伦的音乐一样，前者更强调本身意义，后者则通过外部系统赋予较多的意义。

真与美可能是世界上最难解释的同构了，根据丘奇定理，我们不能准确的判定真，同样的我们也不能很好的判定美。