歌德尔定理说明了形式逻辑系统是不完备的,这一点被彭勒斯认为人工智能不可能象人的意识的逻辑系统一样。但我以为彭勒斯不是一个很好的逻辑学家、也不是一个很好的计算机专家。实际上,歌德尔定理只是说可列形式逻辑系统是不完备的,而人的逻辑系统很可能是不可列的形式逻辑系统,注意“可列”两字。不要小看这一点。