《邏輯的引擎》講述的是我們的現(xiàn)代計算機所基于的那些基本概念和發(fā)展出這些概念的人。計算機從二十世紀五十年代的塞滿整個房間的龐然大物葛峻,逐漸演變成今天輕巧而強大的能夠完成各種任務的機器,在這整個過程中逼侦,其背后的邏輯始終保持如一腰耙。這些邏輯概念是幾個世紀以來數(shù)位天才思想家一步步發(fā)展出來的铲球。在本書中,作者講述了這些人的生活故事稼病,并解釋他們的部分思想。這些故事本身是引人入勝的然走,而且在讀完之后能夠更加了解計算機內(nèi)部的秘密,同時對抽象思想的價值多一份敬意晨仑。
本書作者馬丁·戴維斯是計算機科學發(fā)展史上的先區(qū)人物拆檬,曾對希爾伯特第十問題有過深入的研究洪己。這本書被譽從邏輯角度講述計算機發(fā)展的最好的通俗讀本竟贯。讓我們對西方文化的核心之一——邏輯或數(shù)學有更深的理解,并且造就一種敏銳的眼光和問題意識拱镐,認識到再復雜的東西其實也是由簡單的東西根據(jù)一定的規(guī)則組合而成的持际。在普遍崇拜技術外表而忽視其深層本質(zhì)的今天,這本書顯得尤為難得和重要选酗。這本書講述了位于計算機背后的思想層面的歷史。它通過引人入勝的材料描寫了萊布尼茨芒填、布爾空繁、康托爾朱庆、希爾伯特、哥德爾娱颊、圖靈等天才的生活和工作,講述了數(shù)學家們?nèi)绾卧诔晒吨T應用之前很久就已經(jīng)提出了其背后的思想拴竹。
? ? ? 大師們早已逝去剧罩,但是他們的精神卻永垂不朽,身為青年的我們不僅僅要學習他們留給我們的知識財產(chǎn)惠昔,更要明白他們的精神的精髓——邏輯!