邏輯的引擎

前言

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

內容概要

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

作者簡介

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

書籍目錄

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

章節(jié)摘錄

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

后記

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

媒體關注與評論

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

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    邏輯的引擎 PDF格式下載

---