《逻辑的引擎》讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。
书中主要人物莱布尼茨,是17、18世纪之交德国著名的自然科学家、数学家、哲学家。他的研究范围涉及自然科学与社会科学的很多领域,几乎在每一个相关领域都有杰出成果,被誉为罕见的科学天才。由于他独立创建了微积分,并发明了优越的微积分符号,使他更多以数学家的称号闻名于世。
而菜布尼茨一生著作丰硕,重点介绍这位科学大师对人生、艺术、及其在科学思想、科学方法。这些既可以作为科学方法论为我们在科研创新中提供参考,也可以为我们感悟科学大师的人文思想打开一扇直接交流的阅读窗口。让我们走近科学大师的思想深处,切实感受理性思维对科学创造的深刻影响。
十七世纪时,一位德国人头脑中闪现出这样一个思想:
创造一种普遍的人工数学语言和演算规划进行一种百科全书的汇编,知识的任何一个方 面都可以用这种数学语言表达出来,而演算规划将揭示这些命题之间所有的逻辑关系。
这个人就是莱布尼茨,一个一生都在希望“在艺术和科学领域中为了人类的利益自由地进行研究”的人。他梦想能够制造出完成这些演算的机器,从而使心灵从创造性的思考中解脱出来。