邏輯的引擎

　　本書(shū)講述的是我們的現(xiàn)代計(jì)算機(jī)所基于的那些基本概念和發(fā)展出這些概念的人。計(jì)算機(jī)從二十世紀(jì)五十年代的塞滿整個(gè)房間的龐然大物，逐漸演變成今天輕巧而強(qiáng)大的能夠完成各種任務(wù)的機(jī)器，在這整個(gè)過(guò)程中，其背后的邏輯始終保持如一。這些邏輯概念是幾個(gè)世紀(jì)以來(lái)數(shù)位天才思想家一步步發(fā)展出來(lái)的。在本書(shū)中，我將講述這些人的生活故事，并解釋他們的部分思想。這些故事本身是引人入勝的，我希望讀者們不僅能夠喜歡它們，而且在讀完之后能夠更加了解計(jì)算機(jī)內(nèi)部的秘密，同時(shí)對(duì)抽象思想的價(jià)值多一份敬意。本書(shū)作者馬丁·戴維斯是計(jì)算機(jī)科學(xué)發(fā)展史上的先區(qū)人物，曾對(duì)希爾伯特第十問(wèn)題有過(guò)深入的研究。本書(shū)被譽(yù)從邏輯角度講述計(jì)算機(jī)發(fā)展的最好的通俗讀本。讀者將對(duì)西方文化的核心之一——邏輯或數(shù)學(xué)有更深的理解，并且造就一種敏銳的眼光和問(wèn)題意識(shí)，認(rèn)識(shí)到再?gòu)?fù)雜的東西其實(shí)也是由簡(jiǎn)單的東西根據(jù)一定的規(guī)則組合而成的。在普遍崇拜技術(shù)外表而忽視其深層本質(zhì)的今天，本書(shū)顯得尤為難得和重要。本書(shū)講述了位于計(jì)算機(jī)背后的思想層面的歷史。它通過(guò)引人入勝的材料描寫(xiě)了萊布尼茨、布爾、康托爾、希爾伯特、哥德?tīng)枴D靈等天才的生活和工作，講述了數(shù)學(xué)家們?nèi)绾卧诔晒吨T應(yīng)用之前很久就已經(jīng)提出了其背后的思想。<

　　馬丁·戴維斯，是計(jì)算機(jī)科學(xué)發(fā)展史上的先驅(qū)人物，其《可計(jì)算性與不可解性》一書(shū)被譽(yù)為計(jì)算機(jī)科學(xué)領(lǐng)域極少數(shù)真正的經(jīng)典著作之一他是紐約大學(xué)庫(kù)朗數(shù)學(xué)科學(xué)研究所的榮譽(yù)退休教授，目前在加州大學(xué)伯克利分校做訪問(wèn)學(xué)者。