韩东平

　　当花蕾先生宣告他用一种极简单的方法证明了“电脑有无意识？”这个让许多学者感到头痛的问题时(见《读书》一九九六年第七期)，他有些沾沾自喜，仿佛“众人皆醉，唯我独醒”。可是我却为他的过早乐观感到悲哀，并想送他一句话：简单不等于轻率。

　　花先生是用所谓“人择原理”做大前提来证明电脑无意识的。可人择原理本身就是一个有待确证的假说。根据最新的科学分析，宇宙中完全有可能还存在着与人类不同的智慧生命。如此，怎能说“我们所见到的宇宙正是为了我们而存在的”？既然这个大前提不确定，结论也不可能确定。至于他在小前提中引据的“哥德尔定理”，也有些语焉不详。经哥德尔证明的重大数论定理至少有三个，就算花文指的是其中最有名的“不完全性定理”，它也还包括两个定理。也许花先生太想逃避“上帝讨厌”的“复杂”了，所以他既没告诉我们他用的是哥德尔的哪条定理，也没告诉我们他究竟是怎样以此定理为中介，将他的大前提与结论相联的。

　　我以为，证明一个难题的关键不在过程(三段论谁都会)，而在于不容易找到一个令人信服的确定性前提。像“电脑有无意识？”的聚讼难决，就在于连意识究竟是什么还没搞清。如果花先生的证明方式是有效或成立的，我这里倒还有一个更简单的：

　　意识是人的本质属性之一；

　　电脑不是人；

　　电脑无意识。证毕。

　　不知这样是否会更合上帝的简单化心意？