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