当我独自坐在宿舍的椅子上,忽然觉得自己是那么的无知可笑,对计算机一无所知的我终于清楚,从庞然大物到灵巧轻便,并不是简单的说说而已,更多的是靠那一代人的心血,计算机里却写的秘密的东西,今天才不感觉那么神秘。这么说让我爱上了计算机的研制历程和新型计算机学科。
在书中,当我读到莱布尼茨十岁时,老师把亚里士多德于2000年提出的逻辑系统告诉他,让他产生了奇思妙想。他想寻求一张特殊的字母表,其元素表示的不是声音,而是概念,这个想法也变成计划是着实令我震惊,一本涵盖全人类知识的全部范围的纲要或者百科全书。更不用说,后来他为计划矢志不渝,他独自一人发明了微积分,1674年,他描述了一种能够解代数方程的机器,此后的一年内他为这种机械编写出了相应的逻辑推理。当我读到乔治·布尔,他敢于挑战权威,不被传统观念束缚思想。打破了那时人们“普遍相信三段论推理便构成了逻辑的全部”的论点。虽然布尔的工作距离,与实现莱布尼茨的梦想相差甚远。但他提出的幂等律的规则:α∩α=α,α∪α=α。他的伟大成就,一劳永逸地证明逻辑演绎可以成为数学的分支。但我认为,布尔的逻辑系统似乎更像一个经典的命题逻辑系统,后来,有一个弗雷格的人同样未能实现,但布尔逻辑却更进了一大步。摩托尔更是在实无限,超限数,超限序数,,连续统一假设对角线方法中有所成就。他们将前人的疑问一点点解决,后文写到希尔伯可以把几何公理系统的一致性归结于算术系统的一致性,和可德尔完备性及不完备性定理,不可判定命题,这些所有的一块构成了未来的图灵构想通用计算机,想到用来计算二进制数的乘法。终于,第一代计算机诞生,现代计算机应该是逻辑与工程的混合产物,绝不能简单归功于某一个人。
所以,未来合作与善于发现他人智慧,并能够运用与他人正确方法,才会有最大的成就,莱布尼茨之梦便不是梦。