第一推動叢書·綜合系列：邏輯的引擎

內容簡介

本書作者如同一位雕塑家充滿愛意地述說著石頭，他以生動的筆觸講述著邏輯。通過對這些思想家寥寥可數而又充滿溫情的描述，他向我們展現了為數不多的幾種關鍵的洞察和符號，它們往往產生於精神的渴望，如何營造了一個我們當今仍在探索的空間架構。

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

“這是一段探尋邏輯的邊界以及介於其間的機器的美妙歷史。戴維斯熔數學細節和趣聞逸事為一爐，說明了我們是怎樣逐漸認識到計算機和邏輯思想的界限的……他的書引領我們對數學和邏輯的一個重要分支進行了全面的了解。” ——彼得·韋納《連線》

引言

第一章萊布尼茨之夢

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

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

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

第五章希爾伯特的營救

第六章哥德爾使計畫落空

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

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

第九章超越萊布尼茨之夢

尾聲

注釋

參考書目

索引

譯後記