我发现如果沿着计算机发展的脉络回溯，追溯到最初的那些人们。莱布尼茨、希伯尔、罗素、维特根斯坦、邱奇、图灵、哥德尔...我能想到的这些人，好像都在尝试寻找一种究极的符号系统来描述真理。通过这个系统所形成真正精确而无歧义的语言，无论是数学问题还是哲学问题，通过这种语言进行逻辑推导总可以清晰地获得最终地答案。 而如果将这套语言系统编制在一套机械中，并通过机械运动进行逻辑推导，那么这样一台机器便可以无限地接近这个世界的原理甚至能够创造出一个世界(我瞎扯别信)。 然而，不完备定理给这样一台机器存在的可能性沉重地打击，现代计算机可以看成这样一台"完美"机器地"不完美"实现。 但是我觉得这并不是结束，这恰恰是一个开始。