邏輯的引擎

本書講述的是我們的現代計算機所基於的那些基本概念和發展出這些概念的人。計算機從二十世紀五十年代的塞滿整個房間的龐然大物，逐漸演變成今天輕巧而強大的能夠完成各種任務的機器，在這整個過程中，其背後的邏輯始終保持如一。這些邏輯概念是幾個世紀以來數位天才思想家一步步發展出來的。在本書中，我將講述這些人的生活故事，並解釋他們的部分思想。這些故事本身是引人入勝的，我希望讀者們不僅能夠喜歡它們，而且在讀完之後能夠更加了解計算機內部的秘密，同時對抽象思想的價值多一份敬意。

本書作者馬丁·戴維斯是計算機科學發展史上的先驅人物，曾對希爾伯特第十問題有過深入的研究。本書被譽從邏輯角度講述計算機發展的最好的通俗讀本。讀者將對西方文化的核心之一——邏輯或數學有更深的理解，並且造就一種敏鋭的眼光和問題意識，認識到再複雜的東西其實也是由簡單的東西根據一定的規則組合而成的。在普遍崇拜技術外表而忽視其深層本質的今天，本書顯得尤為難得和重要。本書講述了位於計算機背後的思想層面的歷史。它通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸應用之前很久就已經提出了其背後的思想。 ^[1] 

引言

第一章 萊布尼茨之夢

第二章 布爾把邏輯變成代數

第三章 弗雷格：從突破到絕望

第四章 康托爾：在無限中摸索

第五章 希爾伯特的營救

第六章 哥德爾使計劃落空

第七章 圖靈構想通用計算機

第八章 研製第一批通用計算機

第九章 超越萊布尼茨之夢

尾聲

註釋

參考書目

索引

譯後記