人是不是万物之灵？ 本世纪电脑科学的神速发展正极大地改变着社会。和工业革命使得人类的体力劳动由机械来完成相并行，电脑似乎也能完成人类的大部分智力劳动，于是不少人工智能专家进而断言，在一、二个世纪甚至更短的时间里，电脑便能实现人脑的所有功能，也就是说电脑不仅具有智慧，甚至还将要超越人脑。他们声称在电脑的算法变得足够复杂时，它的痛苦和快乐、对美丽和幽默的鉴赏力以及意识和自由意志就会自然地涌现出来。人工智能专家尽管用了许多夸大的词汇，试图赋予电脑以这些可敬的品格，英国数学物理学家罗杰·彭罗斯在他的新著《皇帝新脑》中断言，所有这一切只不过是幻影而已，正如安徒生的童话中的皇帝没有穿衣服一样，电脑没有精神，没有意识，没有智慧，更没有自由意志。 彭罗斯用来支持他断言的论证是，用电脑算法来获取真理的手段是太过局限了。这个论证和著名的哥德尔定理有着相同的价值。 本世纪初，德国数学家希尔伯特提出了一个非常宏伟的规划。他认为，任何形式系统的正确命题都可由一些不证自明的公理依逻辑学的规则推演出来。数学界甚至认为公理化手段是严密科学所不可缺少的。可惜好景不长，一九三一年由奥地利逻辑学家哥德尔证明的一道定理表明，在任何一个形式系统中总存在数量多得多的由这种办法既不能证明又不能证伪的正确命题。这也就是说，绝大多数的真理都是公理化的漏网之鱼。 哥德尔的论证和德国数学家康托关于实数集合的不可列性的证明以及英国哲学家罗素的所谓的理发师佯谬(paradox，一译“悖论”)是一脉相承的。罗素佯谬是说，某城市的一名男理发师要给并且只给该城所有不为自己刮胡子的男士刮胡子，那么他要为自己刮胡子吗如果他不为自己刮胡子，那么他就必须去刮自己的胡子。反过来，如果他为自己刮胡子，则他不应该刮自己的胡子。这个佯谬是对亚里斯多德以来的逻辑学的巨大冲击，也就是说逻辑学不像通常以为的那样是完全可以信赖的。后来罗素对这个问题作了一些修补，但是这些处理并未使人信服。 对希尔伯特规划的粉碎性打击正是人类的万幸。如果一切真理都能被他的公理化系统一网打尽，或者说电脑能够取代并进而超越人脑，且不说电脑统治人类的境况有多么恐怖，只要想想如果真理能被公理化所穷尽，这个世界将是多么乏味也就可以了。我们在庆幸之际，不禁感怀歌德的先知：“一切理论都是灰色的，生活之树常绿长青。” 人类要垄断万物之灵的桂冠，除了必须征服其创造物电脑的窥伺企图之外，还得挑战全...
