心灵、机器和哥德尔

哥德尔定理必定适用于控制论机器。机器所能证明为真的结论,相当于在相应的形式系统中所能证明的定理。于是我们就能在这种形式系统中构造出一个哥德尔公式。此公式不能在此系统中得到证明。因而机器也就不能推导出相应的公式为真的;但这一点却是人的心灵可以做到的。由此得出结论:没有一架机器会成为一个心灵的完备的或合适的模型,心灵和机器在本质上是不同的。这并不是说,我们不能制造出一架机器来模拟任何一种我们想要模拟的类似心灵的行为,而只是说,我们不能制造出一架机器可以模拟一切类似心灵的行为。我们试图制造出的心灵模型是机械的,是“死的”,而心灵在事实上却是“活的”,它所能做的总比任何僵化的、死板的形式系统所能做的为好。