本書講述了計算機思想層面的歷史，通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數(shù)學家們如何在成果付諸應用之前就已經(jīng)提出了其背后的思想。
本書被譽為從邏輯角度講述計算機發(fā)展的很好通俗讀本之一。
讀完該書你將對西方文化的核心邏輯有更深的理解，有助于形成一種敏銳的眼光和問題意識，可認識到復雜的東西是如何由簡單的東西根據(jù)一定的規(guī)則組合而成。
2018年新版的《*推動叢書》全新設計了版式和封面，簡約個性，提升了閱讀體驗，讓科普給你更多想象。
隨書附贈價值39.6元由汪潔、吳京平掰開揉碎,帶你懂科學好書的《經(jīng)典科普解讀課》6折券。
前言
本書講述的是我們的現(xiàn)代計算機背后的那些基本概念和發(fā)展出這些概念的人。1951年春，當我在阿蘭·圖靈（Alan
Turing）本人曾于10年前工作過的普林斯頓大學獲得了數(shù)理邏輯博士學位之后不久，我便在伊利諾伊大學講授一門以他的思想為基礎的課程。有一位一直在聽我的講座的年輕的數(shù)學家使我注意到教室的街對面正在建造的兩臺機器，他認為它們就是圖靈觀念的物理體現(xiàn)。不久，我就在為這些早期的計算機編寫軟件了。我持續(xù)了半個多世紀的職業(yè)生涯便是圍繞著現(xiàn)代計算機背后的抽象邏輯概念與它們的物理實現(xiàn)之間的關系而展開的。
計算機從20世紀50年代的塞滿整個房間的龐然大物，逐漸演變成今天輕巧而強大的能夠完成各種任務的機器，在這整個過程中，其背后的邏輯始終保持如一。這些邏輯概念是幾個世紀以來數(shù)位天才思想家一步步發(fā)展出來的。在本書中，我將講述這些人的生活故事，并解釋他們的部分思想。這些故事本身是引人入勝的，我希望讀者們不僅能夠喜歡它們，而且在讀完之后能夠更加了解計算機內部的秘密，同時對抽象思想的價值多一份敬意。
在本書寫作過程中，我曾得益于各種各樣的幫助。約翰·西蒙·古根海姆紀念基金會在研究的早期階段提供了熱情的經(jīng)濟資助，正是當時所做的那些研究才使本書得以問世。 Patricia Bl an-chette, Michael Friedman,
Andrew Hodges, Lothar Kreiser和Benson Mates慷慨地與我分享他們那些專業(yè)知識。Tony
Sale友好地充當了我游覽布萊奇利莊園的導游，圖靈曾于二戰(zhàn)期間在那里對破譯德軍的秘密通訊起了關鍵性的作用。Eloise
Segal是一位忠實而熱心的讀者，他幫助我避免了解釋方面的缺陷，可惜，他在這本書寫成之前就離開了這個世界。我的妻子弗吉尼亞竭力使我避免行文含糊不清。Sher
man Ste in極為認真地讀了原稿，提出了許多改進意見，而且糾正了我的幾處錯誤。我還得益于Eg
on Bor ger, William Craig, Michael Richter, Alexis Manaster Ramer, Wilfried
Sieg和Fra nsco is Treves等人的翻譯。提出有益建議的其他讀者還有：Harold
Davis, Nathan Davis, Jack Feldman, Meyer Garber, Dick and Peggy K uhns和Alberto
Policriti。我在W·W·諾頓公司的編輯Ed
Barber用他那關于英語散文的學識慷慨地對本書加以潤色，多處改進都直接得益于此。H
arol d R abin owi tz向我引見了我的代理商Alex Hoyt，后者自始至終都在幫助我。當然，這一長串名字只是要表達我的感激之情，而不是要使我擺脫本書不足之處的責任。有關評論或修正，讀者可發(fā)郵件至davis@eipye.com，我將心懷感激。
馬丁·戴維斯
伯克利，2000年1月2日
作者簡介：
馬丁·戴維斯（Martin Davis），計算機科學發(fā)展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數(shù)真正的經(jīng)典著作之一，他是紐約大學庫朗數(shù)學科學研究所的榮譽教授，之后在加州大學伯克利分校做訪問學者。
譯者介紹：
張卜天，1979年9月生，師從吳國盛。熱愛哲學和科學史方面的翻譯，研究方向為西方中世紀和近代早期科學思想史，研究領域主要集中在近代科學的起源和科學革命。
目錄：
引言
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數(shù)
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研制第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯后記
新書資訊