邏輯的引擎

前言

科學，特別是自然科學，最重要的目標之一，就是追尋科學本身的原動力，或日追尋其第一推動。同時，科學的這種追求精神本身，又成為社會發(fā)展和人類進步的一種最基本的推動?？茖W總是尋求發(fā)現(xiàn)和了解客觀世界的新現(xiàn)象，研究和掌握新規(guī)律，總是在不懈地追求真理。科學是認真的、嚴謹?shù)?、實事求是的，同時，科學又是創(chuàng)造的?？茖W的最基本態(tài)度之一就是疑問，科學的最基本精神之一就是批判。的確，科學活動，特別是自然科學活動，比較起其他的人類活動來，其最基本特征就是不斷進步。

內(nèi)容概要

本書講述的是我們的現(xiàn)代計算機所基于的那些基本概念和發(fā)展出這些概念的人。計算機從二十世紀五十年代的塞滿整個房間的龐然大物，逐漸演變成今天輕巧而強大的能夠完成各種任務的機器，在這整個過程中，其背后的邏輯始終保持如一。這些邏輯概念是幾個世紀以來數(shù)位天才思想家一步步發(fā)展出來的。在本書中，我將講述這些人的生活故事，并解釋他們的部分思想。這些故事本身是引人入勝的，我希望讀者們不僅能夠喜歡它們，而且在讀完之后能夠更加了解計算機內(nèi)部的秘密，同時對抽象思想的價值多一份敬意。    本書作者馬丁·戴維斯是計算機科學發(fā)展史上的先區(qū)人物，曾對希爾伯特第十問題有過深入的研究。本書被譽從邏輯角度講述計算機發(fā)展的最好的通俗讀本。讀者將對西方文化的核心之一——邏輯或數(shù)學有更深的理解，并且造就一種敏銳的眼光和問題意識，認識到再復雜的東西其實也是由簡單的東西根據(jù)一定的規(guī)則組合而成的。在普遍崇拜技術外表而忽視其深層本質(zhì)的今天，本書顯得尤為難得和重要。本書講述了位于計算機背后的思想層面的歷史。它通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數(shù)學家們?nèi)绾卧诔晒吨T應用之前很久就已經(jīng)提出了其背后的思想。

作者簡介

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

書籍目錄

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

章節(jié)摘錄

喬治·布爾的艱辛歲月美麗而聰慧的卡洛琳娜·馮·安斯巴赫公主日后將會成為英國王后，即喬治二世之妻。1704年，當她18歲時，她在柏林見到了萊布尼茨。在她隨同王室前往英國之后，他們?nèi)匀唤柚ㄐ疟３种颜x。她試圖說服自己的公公——英王喬治一世——把萊布尼茨帶到英國，但正如我們已經(jīng)知道的，國王堅持讓萊布尼茨呆在德國完成漢諾威家族史?？辶漳劝l(fā)現(xiàn)自己被卷入了萊布尼茨與牛頓及其支持者之間的沒完沒了的愚蠢爭論之中，雙方都指控對方在微積分的發(fā)明上進行了剽竊。她試圖使萊布尼茨相信這件事情沒有那么重要，但他卻不這樣認為。事實上，萊布尼茨希望能被任命為英國的史料編纂者，從而與牛頓擔任的造幣廠廠長一職相當，而且聲稱只有這樣，與英國相比，德國對抗英國的榮耀才能被保持下來。為此，他曾在國王面前尋求過她的幫助。

后記

計算機技術無疑是當今最熱門、應用最廣的技術之一，它的作用和威力可以說無人不知、無人不曉。然而，盡管計算機技術的發(fā)展日新月異，學習它的人數(shù)也與日俱增，但很少有人了解其背后的思想，很少有人知道如此復雜精妙的機器所依據(jù)的是什么。它被設計得越來越方便合用，以至于我們幾乎不再對它背后的奧秘感到好奇，計算機對大多數(shù)人來說仍然是一種神奇的東西，是一個謎。本書作者馬丁·戴維斯是紐約大學庫朗數(shù)學科學研究所的名譽教授，目前在加州大學伯克利分校做訪問學者。

媒體關注與評論

“一部出色的作品，戴維斯的書不僅使我們受益匪淺，而且讀起來其樂無窮。它對技術方面的討論清晰準確、易于理解，傳記概略使人物形象栩栩如生……當會吸引許多人。”　　——小約翰·w·道森“通過和馬丁·戴維斯一起漫步邏輯的歷史及其先驅(qū)者的生活，任何同計算機打交道的人，任何試圖展望電子技術未來的人都會受益匪淺。”　　——約翰·麥卡錫，斯坦福大學“這是一段探尋邏輯的邊界以及介于其間的機器的美妙歷史。戴維斯熔數(shù)學細節(jié)和趣聞逸事為一爐，說明了我們是怎樣逐漸認識到計算機和邏輯思想的界限的……他的書引領我們對數(shù)學和邏輯的一個重要分支進行了全面的了解?！薄　　说谩ろf納，《連線》“這本關于計算機起源的書生動講述了人類探求邏輯和真理的故事。馬丁·戴維斯用博學而充滿人情味的語言，娓娓講述了那些為計算機的出現(xiàn)奠定基礎的非凡人物的故事。、這些人物以阿蘭·圖靈為頂峰，其通用機器現(xiàn)在已經(jīng)主宰了世界經(jīng)濟?！薄　　驳卖敗せ羝嫠梗栋⑻m·圖靈：一個不可思議的人》的作者“如同一位雕塑家充滿愛意地述說著石頭，馬丁·戴維斯以生動的筆觸講述著邏輯。通過對這些思想家寥寥可數(shù)而又充滿溫情的描述，他向我們展現(xiàn)了為數(shù)不多的幾種關鍵的洞察和符號——它們往往產(chǎn)生于精神的渴望——如何營造了一個我們當今仍在探索的空間架構(gòu)?！薄　　つ崴埂は纳?，紐約大學“邏輯學家提出的思想促成了計算機革命，要講述他們的故事，很難想象還有誰會比馬丁·戴維斯更能勝任……生動詼諧，平易近人，不乏珍聞趣事……一段迷人的故事……讀此書其樂融融。”　　——賴恩·布蘭克，華盛頓大學

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    邏輯的引擎 PDF格式下載

---