邏輯的引擎

本書介紹了現(xiàn)代計(jì)算機(jī)背后的那些基本概念和發(fā)展這些概念的人，描寫了萊布尼茨、布爾、費(fèi)雷格、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數(shù)學(xué)家們?nèi)绾卧诔晒吨T應(yīng)用之前很久就已經(jīng)提出了其背后的思想。博達(dá)著作權(quán)代理有限公司授權(quán)出版據(jù)美國(guó)W.W.Norton公司2000年版本譯出。2007年第二版亦使用同一ISBN。

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