邏輯的引擎

前言

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

內(nèi)容概要

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

作者簡(jiǎn)介

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

書籍目錄

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

章節(jié)摘錄

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

后記

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

媒體關(guān)注與評(píng)論

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

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    邏輯的引擎 PDF格式下載

---