集异壁第十五章——做个行动派

现有的形式系统总是不完备的，不管我们怎么努力。就像之前乌龟戏弄螃蟹的唱机一样，只要我们知道了形式系统的公理，以我们的智慧总能找到“破解”它的办法。

不完全性，可以确切的说——是形式系统的基本组成部分，从它出生的那一刻就拥有了。有些人认为，哥德尔定理告诉我们：计算机不能解释心智。作者给出了否定的答案。

事实上，随着系统复杂度的提升，我们做哥德尔化的能力在减弱，也就是说，随着系统的复杂度提升，总有我们不能哥德尔化的符号串出现，这样的系统是不适合人类心智一样强有力呢？

跳出系统，这应该是我们最希望做到的，打破常规，走出生活的框框，获得生活的真谛。本书与鸡汤文没有任何关系，但是冥冥中，关于哥德尔定理的相关内容，似乎又和这些生活经验有着某种同构，这或许就是集异壁这本书美妙所在吧。