《逻辑的引擎》——计算机的回溯之旅

在物理学家牛顿的一生之中，大抵上有两个敌人是他一直竭力与之抗争的，一位是胡克，以前学习高中物理的时候，弹簧系数又称胡克系数，当时的我们，并没有意识到胡克曾经是可以匹敌牛顿的科学巨匠。而另一位则和牛顿相爱相杀直到逝世，他的名字叫莱布尼茨。

逻辑的引擎.JPG

当年的很多见证者已经随风逝去，很多历史已经不可考，牛顿刚刚开始是欣赏这个头脑和自己相当的莱布尼茨的，然而两个人最终还是在微积分的归属上反目成仇，牛顿几乎是用尽自己全身最后一分力气，想要将莱布尼茨的名字从微积分的历史的当中抹去，然而我们现在的高等代数的教材上，我们却仍然看到了一个以牛顿和莱布尼茨的名字命名的公式：牛顿-莱布尼茨公式

两者争斗了一辈子，最后却合体在了凝结彼此心血的公式当中，名垂青史，然而牛顿没有想到的是，莱布尼茨尽管没有在数学史的争斗中落败，却在人类计算机的发展史当中留下了名字。

如果回顾莱布尼茨的一生的话，我想“千面怪才”的称呼对于他来讲应该非常合适。4个世纪以前，如果有一个人已经在数学、哲学、神学和法学等等领域做出过许多成就，甚至还担任宫廷的外交职务，按照我们通常的想法，这个人一定就是我们口中说的“成功人士”。然而莱布尼茨却仍然穷困潦倒，他一生的当中都在寻求着资助，就好像为了梦想到处融资的创业者一样，想要有资金的支持来实现自己心中的梦想。

早从10岁开始，他就已经熟读亚里士多德的理论，从此沉迷于希腊伟大哲学家亚里士多德的研究，这让他渐渐产生了新的想法：他希望寻求一掌特殊的字母表，这里边的元素仅仅表示概念，而我们用这些概念通过发展为一门语言，我们仅凭符号演算就可以获知用这些句子写成的句子哪些为真，哪些为假。

他一步一步地实现着自己的理想，1675年他为一个机械装置写了逻辑推理的演算规则，制成了完成这些演算的机器。在他接触到二进制的时候，他发现任何数字都可以仅仅用0和1表示出来的时候，他被这一系统的美丽简洁震撼了。这意味着，我们可以用0和1两个数字记录我们人类的所有知识和信息，甚至我们可以用这些符号来进行推理演算，我们的宇宙的规律，可以用一种简单的符号演算，就可以全部推演出来——这是怎样的令人心动和惊讶！

然而他没有能够看到自己梦想的实现，他很快就去世了。另一个人继承了他的梦想，让他的设想焕发了生机。这个人的名字叫乔治·布尔。今天的计算机逻辑运算教材之中，仍然写着他的名字。他发现逻辑推理之中，类似名词“河马”“老虎”这样的词语之中，它们描述的所有个体的类可以用字母来表示，而且一个命题的表达可以通过概念与概念之间的演算来完成。然而仅仅是这些的话，仍然离实现莱布尼茨的梦想，还有很大的距离。

1912年，一个重要的数学天才诞生，他的名字叫阿兰·图灵。在他的老师纽曼的启发下，他发现了通用计算机器的一个数学模型，通过某种算法程序可计算的任何东西都可以通过一台图灵机来计算。如果我们可以证明某项任务无法用图灵机来完成，那么就可以说没有任何算法程序来完成这项任务——这个图灵检验的光辉直到现在的算法理论也未曾褪去其光辉。

图灵从未停止思考通用机概念的可应用性，他甚至猜想这些通用性的概念揭示了人类的大脑拥有强大能力的秘密，甚至可以说我们大脑其实也是一台功效强大的通用机。这样的视角完全打破了我们对于大脑的认知，过去的医学学者们仅仅认为我们脑海之中的印象仅仅只是生物化学的反应结果而已，一台完全依赖概念和计算的机器是否有可能取代我们的大脑？

如今的AI正在逐渐将图灵的猜想深入下去，阿尔法狗和李世石的围棋大战已经让人感叹AI智能的强大，到了阿尔法狗战胜了世界排名第一的柯洁，我们已经彻底在AI的高超能力下瑟瑟发抖。

我们目睹着人类计算机的演进和互联网的兴起，一个问题仍然让我们感到困惑：逻辑和计算之间如何产生彼此的关联？答案是估计。

用数进行估计本身就是一种推理形式，人们作的大量推理本身就可以被看成一种计算，当我们不断地接近一个正确值的时候，我们的推理已经逐渐接近真正的事实，我们并不知道，阿尔法狗在演算的同时，究竟是否产生了真正的“思维”和“意识”，它们会进化之后，是否在漫长的岁月中，会进化出一种类似于”感情“的事物？

这个问题只能等待时间来解答了。