邏輯的引擎

本書講述了計(jì)算機(jī)思想層面的歷史，通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數(shù)學(xué)家們?nèi)绾卧诔晒吨T應(yīng)用之前就已經(jīng)提出了其背后的思想。

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