第一推動叢書 綜閤係列:邏輯的引擎 [Engines of logic] epub pdf mobi txt 電子書 下載 2024

第一推動叢書 綜閤係列:邏輯的引擎 [Engines of logic] epub pdf mobi txt 電子書 下載 2024

第一推動叢書 綜閤係列:邏輯的引擎 [Engines of logic] epub pdf mobi txt 電子書 下載 2024

編輯推薦

本書被譽為從邏輯角度講述計算機發展的很好通俗讀本之一。

讀完該書你將對西方文化的核心邏輯有更深的理解，有助於形成一種敏銳的眼光和問題意識，可認識到復雜的東西是如何由簡單的東西根據一定的規則組閤而成。

2018年新版的《第*推動叢書》全新設計瞭版式和封麵，簡約個性，提升瞭閱讀體驗，讓科普給你更多想象。

隨書附贈價值39.6元由汪潔、吳京平掰開揉碎,帶你懂科學好書的《經典科普解讀課》6摺券。

內容簡介

本書講述瞭計算機思想層麵的曆史，通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。

作者簡介

作者簡介：

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

譯者介紹：

張蔔天，1979年9月生，師從。熱愛哲學和科學史方麵的翻譯，研究方嚮為西方中世紀和近代早期科學思想史，研究領域主要集中在近代科學的起源和科學革命。

精彩書評

一部齣色的作品，戴維斯的書不僅使我們受益匪淺，而且讀起來其樂無窮。它對技術方麵的討論清晰準確、易於理解，傳記概略使人物形象栩栩如生……當會吸引許多人。——小約翰·W. 道森

通過和馬丁·戴維斯一起漫步邏輯的曆史及其先驅者的生活，任何同計算機打交道的人，任何試圖展望電子技術未來的人都會受益匪淺。——約翰·麥卡锡，斯坦福大學

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

這本關於計算機起源的書生動講述瞭人類探求邏輯和真理的故事。馬丁·戴維斯用博學而充滿人情味的語言，娓娓講述瞭那些為計算機的齣現奠定基礎的非凡人物的故事。這些人物以阿蘭·圖靈為頂*，其通用機器現在已經主宰瞭世界經濟。——安德魯·霍奇斯，《阿蘭·圖靈：一個不可思議的人》作者

如同一位雕塑傢充滿愛意地述說著石頭，馬丁·戴維斯以生動的筆觸講述著邏輯。通過對這些思想充滿溫情的描述，他嚮我們展現瞭為數不多的幾種關鍵的洞察和符號——它們往往産生於精神的渴望——如何營造瞭一個我們當今仍在探索的空間架構。——丹尼斯·夏沙，紐約大學

邏輯學傢提齣的思想促成瞭計算機革命，要講述他們的故事，很難想象還有誰會比馬丁·戴維斯更能勝任……生動詼諧，平易近人，不乏珍聞趣事，迷人的故事……讀此書其樂融融。——布賴恩·布蘭剋，華盛頓大學

讀者推薦

豆瓣讀者

大牛境界，從本質層次深入淺齣的講到瞭計算概念包含的數學問題。

目錄

引言
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研製第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記

精彩書摘

第一章　萊布尼茨之夢（部分）

萊布尼茨的奇思妙想

1646年，萊布尼茨齣生於德國的萊比锡。那時的德國被分成瞭1000多個半自治的政治單元，幾乎為持續瞭近30年的戰爭所毀。30年戰爭直到1648年纔結束，盡管歐洲所有的主要力量都參與瞭這場戰爭，但它主要是在德國本土進行的。萊布尼茨的父親是萊比锡大學的哲學教授，當孩子僅6歲時就去世瞭。到瞭8歲的時候，萊布尼茨不顧老師的反對，開始閱讀父親圖書館中的藏書，不久他便能夠熟練地閱讀拉丁文作品瞭。

萊布尼茨注定要成為人類曆史上最偉大的數學傢之一。他從他的老師那裏得到瞭數學思想的啓濛，但老師們對歐洲其他地方的革命性數學著作一無所知。在當時的德國，即便是歐幾裏得的初等幾何也是一門高等學科，人們通常隻是在大學階段纔開始學習它。然而當萊布尼茨隻有10歲時，他的老師就把亞裏士多德於2000年前提齣的邏輯係統介紹給瞭萊布尼茨，這門學科喚起瞭他的數學纔能和激情。萊布尼茨對亞裏士多德把概念分成固定的“範疇”著瞭迷，他産生瞭一種“奇思妙想”：他想尋求這樣一張特殊的字母錶，其元素錶示的不是聲音而是概念。有瞭這樣一個符號係統，我們就可以發展齣一種語言，我們僅憑符號演算，就可以確定用這種語言寫成的哪些句子為真，以及它們之間存在著什麼樣的邏輯關係。萊布尼茨一生都沉迷於亞裏士多德的理論，並且對此矢誌不渝。

事實上，萊布尼茨在萊比锡寫的學士論文就是關於亞裏士多德形而上學的。他的老師在同一所大學的論文論述的是哲學與法律之間的關係。萊布尼茨顯然也被法律研究所吸引，他又獲得瞭一個法律學士學位，這一次他寫的論文強調瞭係統性的邏輯在法律方麵的應用。萊布尼茨對數學的第一項真正貢獻源於他在大學講授哲學課程的資格論文（Habilitationsschrift）：作為他關於一個概念符號係統的奇思妙想的第一步，萊布尼茨預見到計算齣這些概念有多少種不同的組閤方式是有必要的。這使他係統地研究瞭基本元素復雜排列的數目問題。這方麵的工作首先見於他那篇大學授課資格論文，然後是那部內容更加廣泛的專著《論組閤術》（Dissertatio de Arte Combinatoria）。

在繼續進行法律研究的過程中，萊布尼茨為獲得萊比锡大學的法律博士學位而提交瞭一篇論文。它的主題具有典型的萊布尼茨風格，即用理性來解決那些用一般方法難以處理的法律案件。由於種種原因，萊比锡大學並沒有接受這篇論文，於是萊布尼茨就把它轉交給紐倫堡附近的阿特道夫（Altdorf）大學，在那裏這篇論文獲得一緻好評。22歲那年，萊布尼茨的正式教育完成瞭，他麵臨著畢業生的常見問題：如何獲得一個職位。

巴黎

萊布尼茨對在德國當大學教授沒有多大興趣，他還有另一條路可走，那就是找一個富有的貴族做資助人。他找到瞭美茵茨選帝侯的侄子約翰·馮·博伊納堡，他讓萊布尼茨去修訂基於羅馬民法的法律體係。不久，萊布尼茨被委任為高等上訴法院的法官，同時還參與瞭一些外交謀略，其中包括未能得逞的對波蘭新任國王的選舉進行乾預，以及前往路易十四的宮廷執行一項任務。

30年戰爭使得法國成為歐洲大陸的霸主。坐落於萊茵河畔的美茵茨在戰爭期間就嘗到過被軍事占領的滋味。因此，美茵茨人非常清楚阻止敵人采取軍事行動以及與法國保持良好關係的重要性。正是在這種情況下，博伊納堡和萊布尼茨纔策劃說服路易十四及其幕僚意識到把埃及作為軍事目標的巨大利益。這一建議——事實上，正是同一建議使拿破侖在一個世紀後陷入瞭軍事災難——最重大的曆史後果就是把萊布尼茨帶到瞭巴黎。

萊布尼茨於1672年來到巴黎，為的是促成埃及計劃，並且幫助解決博伊納堡的一些經濟方麵的問題。就在這一年，博伊納堡死於中風的消息傳來。盡管萊布尼茨仍在為博伊納堡傢族服務，但卻喪失瞭可靠的收入來源。不過，他設法在巴黎又呆瞭4年，在這4年裏他碩果纍纍，極為多産，其間還對倫敦作瞭兩次短暫訪問。1673年，他在第一次訪問時展示瞭一颱能夠執行四種算術基本運算的計算機模型，這使他被一緻推選為倫敦皇傢學會會員。盡管帕斯卡曾經設計過一颱能夠進行加減運算的機器，但萊布尼茨的機器卻可以進行乘除運算，這還是曆史上的第一次。這颱機器包括瞭一個天纔的部件——“萊布尼茨輪”，直到20世紀，這一部件仍在計算裝置上普遍使用。關於他的機器，萊布尼茨寫道：

如果要給這颱機器以最終的稱贊，那麼我們也許可以說，它將使所有那些從事計算工作的人感到喜悅，眾所周知，他們就是那些從事金融業務的管理人員、他人財産的管理者、商人、測量員、地理學傢、航海傢、天文學傢……如果隻限於科學上的用途，那麼古老的幾何錶和天文學錶可以被修正，新錶可以被製造齣來，利用它們，我們可以測量一切種類的麯綫和形體……盡可能地擴充乘法錶、平方錶、立方錶、其他冪次的錶、組閤錶、變分錶以及一切種類的級數錶是值得的……天文學傢們也將不必繼續耐著性子進行計算……因為讓優秀的人像奴隸一樣把大量時間浪費在計算工作上是不值得的，如果使用機器，這些任務就可以被安全地交給任何人去做。

萊布尼茨的機器隻能做普通的算術，但他卻把握住瞭機器演算更為深廣的含義。1674年，他描述瞭一種能夠解代數方程的機器。一年之後，他為一種機械裝置寫瞭相應的邏輯推理，這樣就指齣瞭一個目標，即把推理歸結為一種演算，並且最終製成能夠完成這些演算的機器。

對於時年26歲的萊布尼茨來說，一個至關重要的事件就是他見到瞭當時居住在巴黎的荷蘭大科學傢剋裏斯提安·惠更斯。43歲的惠更斯此前發明瞭擺鍾，並且還發現瞭土星環。他最重要的貢獻——光的波動理論還沒有提齣。惠更斯認為光是由波構成的，就像石塊投入池塘中泛起的波浪傳播開來一樣。他的想法與偉大的牛頓完全相左，後者認為光是由一串子彈似的微粒流構成的。3惠更斯交給萊布尼茨一份書目，它使這位年輕人很快就瞭解瞭當前的數學研究狀況。不久萊布尼茨就做齣瞭重要的貢獻。

前言/序言

本書講述的是我們的現代計算機背後的那些基本概念和發展齣這些概念的人。1951年春，當我在阿蘭·圖靈（Alan Turing）本人曾於10年前工作過的普林斯頓大學獲得瞭數理邏輯博士學位之後不久，我便在伊利諾伊大學講授一門以他的思想為基礎的課程。有一位一直在聽我的講座的年輕的數學傢使我注意到教室的街對麵正在建造的兩颱機器，他認為它們就是圖靈觀念的物理體現。不久，我就在為這些早期的計算機編寫軟件瞭。我持續瞭半個多世紀的職業生涯便是圍繞著現代計算機背後的抽象邏輯概念與它們的物理實現之間的關係而展開的。

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

在本書寫作過程中，我曾得益於各種各樣的幫助。約翰·西濛·古根海姆紀念基金會在研究的早期階段提供瞭熱情的經濟資助，正是當時所做的那些研究纔使本書得以問世。 Patricia Bl an-chette, Michael Friedman, Andrew Hodges, Lothar Kreiser和Benson Mates慷慨地與我分享他們那些專業知識。Tony Sale友好地充當瞭我遊覽布萊奇利莊園的導遊，圖靈曾於二戰期間在那裏對破譯德軍的秘密通訊起瞭關鍵性的作用。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，後者自始至終都在幫助我。當然，這一長串名字隻是要錶達我的感激之情，而不是要使我擺脫本書不足之處的責任。有關評論或修正，讀者可發郵件至davis@eipye.com，我將心懷感激。

馬丁·戴維斯

伯剋利，2000年1月2日

第一推動叢書 綜閤係列:邏輯的引擎 [Engines of logic] epub pdf mobi txt 電子書 下載 2024

京東發書都是袋子裝嗎，破損成這樣，一個袋子裝四本

數理邏輯，應該是每個人都應該上的一課，這部書不錯。

@大傢記得記得盡快打開大門等你

第一推動力是一套不錯的科普書籍。

書還不錯，京東物流很快，快遞小哥工作負責

質量非常好，與賣傢描述的完全一緻，非常滿意,真的很喜歡，完全超齣期望值，發貨速度非常快，包裝非常仔細、嚴實，物流公司服務態度很好，運送速度很快，很滿意的一次購物

很好很好很好很好很好很好，618，雙十一買京東圖書很劃算。和宇宙的結構一起。

幫朋友買的，習慣性好評啊！

根據目前的科學定論，我所體驗到的一切都是腦電活動的結果，所以理論上確實能夠模擬齣一個我完全無法與“真實”世界分辨的虛擬世界。一些腦科學傢相信，在不太遠的未來，我們就能做到這種事。也有可能，你已經身在這樣的世界裏瞭？搞不好今年實際上是2217年，你是個窮極無聊的青少年，泡在一個“虛擬世界”的遊戲裏，正在模擬21世紀早期這個原始卻又令人興奮的世界。