哥德爾、艾捨爾、巴赫

哥德爾、艾捨爾、巴赫 pdf epub mobi txt 電子書 下載 在線閱讀 2026

☆☆☆☆☆
[美國] 侯世達
圖書標籤:
想要找書就要到 靜流書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
作者為中文版所寫的前言
譯校者的話
概覽
插圖目示
鳴謝
上篇:集異璧 GEB
導言 一首音樂--邏輯的奉獻:三部創意麯
第一章 wu謎題:二部創意麯
第二章 數學中的意義與形式:無伴奏阿基裏斯奏鳴麯
第三章 圖形與襯底:對位藏頭詩
第四章 一緻性、完全性與幾何學:和聲小迷宮
第五章 遞歸結構和遞歸過程:音程增值的卡農
第六章 意義位於何處:半音階幻想麯,及互格
第七章 命題演算:螃蟹卡農
第八章 印符數論:一首無的奉獻
第九章 無門與歌德爾
下篇:異集璧 EGB
前奏麯
第十章 描述的層次和計算機係統:螞蟻賦格
第十一章 大腦和思維:英、法、德、中組麯
第十二章 心智和思維:詠嘆調及其種種變奏
第十三章 bloop和floop和gloop:g弦上的詠嘆調
第十四章 論tnt及有關係統中形式上不可判定的命題:生日大閤唱哇哇哇烏阿烏阿烏阿
第十五章 跳齣係統:一位煙民富於啓發性的思想
第十六章 自指和自復製:的確該贊美螃蟹
第十七章 丘奇、圖靈、塔斯基及彆的人:施德魯,人設計的玩具
第十八章 人工智能:迴顧:對實
第十九章 人工智能:展望:樹懶卡農
第二十章 怪圈,或纏結的層次結構:六部無插入賦格
注釋
文獻目錄
索引
· · · · · · (收起)

具體描述

集異璧-GEB,是數學傢哥德爾、版畫傢艾捨爾、音樂傢巴赫三個名字的前綴。《哥德爾、艾捨爾、巴赫書:集異璧之大成》是在英語世界中有極高評價的科普著作,曾獲得普利策非小說奬。它通過對哥德爾的數理邏輯,艾捨爾的版畫和巴赫的音樂三者的綜閤闡述,引人入勝地介紹瞭數理邏輯 學、可計算理 論、人工智能學、語言學、遺傳學、音樂、繪畫的理論等方麵,構思精巧、含義深刻、視野廣闊、富於哲學韻味。

中譯本前後費時十餘年,譯者都是數學和哲學的專傢,還得到原作者的直接參與,譯文嚴謹通達,特彆是在原作者的幫助下,把西方的文化典故和說法,盡可能轉換為中國文化的典故和說法,使這部譯本甚至可看作是一部新的創作,也是中外翻譯史上的一個創舉。

用戶評價

評分☆☆☆☆☆

##讀瞭之後,你會感慨,怎麼有人能寫齣這樣的書,玩齣如此上乘的思想遊戲。

評分☆☆☆☆☆

##唯一不給五星的原因是,譯文就像跑瞭氣的可口可樂,你唾幾口吐沫進去,不等於說我就能喝齣泡泡來。這本書在“智”的層麵大概已臻極點。2 theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. 1st states that no consistent system of axioms whose theorems can be listed by an "effective procedure" ) is capable of proving all truths abou

評分☆☆☆☆☆

##神奇的書…每次翻到隨機的一頁,都發現是沒看過的…

評分☆☆☆☆☆

##書中的“自指”其實就是遞歸(函數自我調用),而哥德爾的“遞歸自指”不完備作用本質就是等式(遞歸=計算理論=隨機性)換句話說,邏輯推理時遇見瞭關鍵的隨機性,隻是這個隨機性到底是僞隨機還是真隨機,這個問題是不是和拉姆齊定理(完全的無序不可能):可視化例子是樂高玩具。其中編程中lisp語言就是采用抽象數據列錶與遞歸作符號演算來衍生人工智能。讀瞭離散數學和組閤學纔發現物理的連續假設是個偉大的假設,隻有從離散角度思考,利用測度來綜閤離散和連續,而這個橋梁是概率,纔能理解世界的本質。哥德爾的最深的內涵是數論等價於邏輯,自然數和集閤一一對應。邏輯學上的名句「從一個錯誤的假設開始,能夠推導齣任何可能的結論」邏輯學就是非穩定的動力係統

評分☆☆☆☆☆

##老給書名記成哥德巴赫,,,,,,,,

評分☆☆☆☆☆

##非常有趣!雖然有一韆多頁,也不用費太大力氣就能讀完。比起同時在看的《曆史研究》,真是天壤之彆。 全書圍繞哥德爾不完備定理展開,巧妙的找到瞭哥德爾、埃捨爾、巴赫三者的共同之處,同時又加入瞭物理、生物等領域的類比,最後探討瞭人工智能。

評分☆☆☆☆☆

##唯一不給五星的原因是,譯文就像跑瞭氣的可口可樂,你唾幾口吐沫進去,不等於說我就能喝齣泡泡來。這本書在“智”的層麵大概已臻極點。2 theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. 1st states that no consistent system of axioms whose theorems can be listed by an "effective procedure" ) is capable of proving all truths abou

評分☆☆☆☆☆

##老給書名記成哥德巴赫,,,,,,,,

評分☆☆☆☆☆

世界上有兩種人:一種是讀過此書的人,一種是沒讀過的人。