图书封面

《逻辑的引擎》,马丁·戴维斯 著,张卜天 译,湖南科学技术出版社,2018年3月出版。

这是一本科学史类型的书籍,讲述的是在计算机即将被发明问世之前的那短暂一瞬(好吧,其实是大约三个世纪,横跨七位伟大科学家的故事)。全书始于莱布尼茨,不是因为他发明了微积分,而是因为他的一个梦想,关于对通用知识及其逻辑进行演算的机器。诚然,莱布尼茨在符号系统的发明,不仅促进了微积分的诞生和推广,也推动了他的演算机器之梦向着实现前进。接下来,布尔、弗雷格、康托尔、希尔伯特、哥德尔等人逐一登场,他们发明了逻辑代数,把数学演绎逻辑纳入一套完备体系,探索集合从有限到无限的拓展,对数学问题能否判定进行论证。直到阿兰图灵登场,构想并实现出了通用计算机。其中最让我印象深刻的,还得数哥德尔,能提出不完备定理的这位,确实是"一个奇特的人",其信件中的一句话"我不相信任何医学诊断是百分之百确定的;在我看来,说我们的自我是由蛋白质分子构成的,这是人们所做过的最可笑的论断之一",被评价为"具有典型的哥德尔风格"。