本書作者馬丁·戴維斯是計算機科學發展史上的先區人物，曾對希爾伯特第十問題有過深入的研究。本書被譽從邏輯角度講述計算機發展的好的通俗讀本。讀者將對西方文化的核心之一——邏輯或數學有更深的理解，并且造就一種敏銳的眼光和問題意識，認識到再復雜的東西其實也是由簡單的東西根據一定的規則組合而成的。在普遍崇拜技術外表而忽視其深層本質的今天，本書顯得尤為難得和重要。本書講述了位于計算機背后的思想層面的歷史。它通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸應用之前很久就已經提出了其背后的思想。
舊版《邏輯的引擎》火熱銷售，各種好評請點擊這里
邏輯的引擎-推動系列經典叢書(從邏輯角度講述計算機發展的好的通俗讀本)
馬丁·戴維斯是計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一他是紐約大學庫朗數學科學研究所的榮譽退休教授，目前在加州大學伯克利分校做訪問學者。
引言 及時章 萊布尼茨之夢 第二章 布爾把邏輯變成代數 第三章 弗雷格：從突破到絕望 第四章 康托爾：在無限中摸索 第五章 希爾伯特的營救 第六章 哥德爾使計劃落空 第七章 圖靈構想通用計算機 第八章 研制及時批通用計算機 第九章 超越萊布尼茨之夢 尾聲 注釋 參考書目 索引 譯后記
及時章萊布尼茨之夢
礦藏豐富的哈爾茨(Harz)山脈位于德國城市漢諾威東南，自公元10世紀起就已經有人來這個地區采礦了。由于地層深處含水較多，所以只有用水泵把水抽到河灣里才能采礦。17世紀時，水車使這些水泵的能力變得強大起來。但不幸的是，這就意味著當冬季水流凍結時，有利可圖的采礦工作不得不終止下來。
1680～1685年，哈爾茨山的礦產管理者開始與一個不易相處的礦工頻頻發生沖突，這個礦工就是時年30多歲的G·W·萊布尼茨。萊布尼茨是要把風車作為一種額外的能源裝置引進來，從而使得采礦工作可以常年進行。此時，萊布尼茨已經取得了許多成就。他不僅在數學上做出了重大發現，而且還以一位法學家而聞名，并且在哲學和神學方面寫有大量著述。他甚至還擔任了路易十五宮廷中的一項外交職務，以使這位法國的太陽王意識到對埃及(而不是對荷蘭和德國)發動一場軍事戰爭的好處。
……
很有啟示性
很不錯，朋友推薦的，值得信賴
挺好的科普讀本，從邏輯角度講述計算機的好書。
本書作者馬丁·戴維斯是計算機科學發展史上的先區人物，曾對希爾伯特第十問題有過深入的研究。本書被譽從邏輯角度講述計算機發展的最好的通俗讀本。
內容不錯，也算比較易懂。不過有點可憐巴巴了，又小又薄的一本
內容很好，很開闊視野。知識書本的紙質不怎么好
對科學的探索是無止境的。宇宙的奧秘也會慢慢被揭開。
看這個名頭買的，聽說第一推動系列是很好的科普書
被書名吸引了，但這真心不是我想要看的，內容乏味，呆板，完全沒有讀下去的沖動。下次買書一定要試讀一下！！！
好久沒看書買書，可當當這次的折扣活動確實誘惑到了我。差不多訂了10本，而這一本是最先看的。雖說次日還要上班，還要起早搭一個多鐘頭的公交，但我還是欲罷不能的看到了凌晨兩三點。萊布尼茨、布爾、哥德爾、圖靈......那些耳熟能詳的名字，那些熟捻于心的故事......這不禁讓我懷念起高中的讀書歲月，那時我最愛看科普、科學哲學的著作《科學哲學的興起》《時間之箭》《皇帝新腦》......時隔這么多年，那些了不起的思想家依然那么深刻的觸動著已經出社會的我，又讓人心潮澎湃了......謝謝~
買了推動系列的很多書，每一本都很精彩。很好的科普書
這一系類叢書都想買了，即使有些略看不懂，但還是懷著很大的好奇心看完，好看。。。
從萊布尼茨到喬姆斯基，作者用通俗易懂的語言介紹了數理邏輯和計算機理論的發展
內容非常好， 非常值得看。 語言淺顯，能把復雜的數學原理明白的表達出來。 那些偉人的工作令人嘆為觀止。 翻譯的也不錯
這本書很清晰地介紹了計算機發展的歷程，適合計算機愛好者收藏。
第一推動叢書都是這么經典，如果你對邏輯哲學、計算機智能相關的更基礎、偏哲學的問題感興趣，會喜歡這本的。
邏輯為什么重要？計算機依賴什么而發展而來？看了就知道
內容好評，就是能不能鎖線裝啊，現在書脊太容易裂開。
名家的作品，要用心讀，或者現在實力不夠，放著慢慢讀
快遞很快 但是沒有塑料膜包裝 感覺不像是一手的呢…
我是學計算機的，看到布爾、希爾伯特、圖靈這幾個大名就控制不住買啦！書的質量很好！活動買的也很劃算！慢慢看
這本書把數學理論如何推演到圖靈機闡述的很清楚。相當不錯的一本書，把事情的來龍去脈介紹的很清楚。里面包括了各位重要人物的介紹和他們的成就，以及前后的銜接、批判關系。
講邏輯學，數學，計算機學發展的故事...有些枯燥，有些需要一些數學，邏輯學知識背景。
計算機的數學基礎是數理邏輯。從萊布尼茨到馮。諾依曼，幾百年來世界頂尖數學家為推動邏輯數學的發展付出了艱辛的努力。讀這本書很有趣，學到許多知識。
要想了解未來的量子計算機，加深對現有計算機整體的了解是個切實可行的角度。這本書在世間唯獨上解析的比較全面，且深切透露著人文氣息，很難得的好書！
我們學校有一本這樣的書，是老書，因為只能借不能買，所以我只翻了一下，內容不錯，這本書是計算機基礎組暗夜的學生看得，雖然我的計算機不是很好，但是我還是看得懂，希望這本書能對我長生幫助。邏輯的引擎當然將邏輯嘛。
常人閱讀，少者耗時約需1、2年以上。多者3、5年。且其中論著，多高明之作，或有一讀再讀之需，而讀完，也或有“屠龍之技”之感也未之定，一笑！
