本書作者馬丁·戴維斯是計(jì)算機(jī)科學(xué)發(fā)展史上的先區(qū)人物，曾對(duì)希爾伯特第十問題有過深入的研究。本書被譽(yù)從邏輯角度講述計(jì)算機(jī)發(fā)展的最好的通俗讀本。讀者將對(duì)西方文化的核心之一——邏輯或數(shù)學(xué)有更深的理解，并且造就一種敏銳的眼光和問題意識(shí)，認(rèn)識(shí)到再復(fù)雜的東西其實(shí)也是由簡(jiǎn)單的東西根據(jù)一定的規(guī)則組合而成的。在普遍崇拜技術(shù)外表而忽視其深層本質(zhì)的今天，本書顯得尤為難得和重要。本書講述了位于計(jì)算機(jī)背后的思想層面的歷史。它通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數(shù)學(xué)家們?nèi)绾卧诔晒吨T應(yīng)用之前很久就已經(jīng)提出了其背后的思想。
|
