哥德爾、艾捨爾、巴赫

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

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

具體描述

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

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

用戶評價

評分☆☆☆☆☆

##亞馬遜大促的時候買的,果然看不懂,penny是永遠無法成為謝耳朵的,現實就是這麼殘酷。。。。

評分☆☆☆☆☆

##比較適閤我國大二、大三學計算機又有點憧憬人工智能的學生們作課外拓展閱讀。主體就三次大過渡:形式邏輯——哥德爾定理——人工智能。由於已經看瞭《哥德爾證明》和《人工智能哲學》兩本,再看這本就覺得作者繞瞭好大的一圈,最後也沒有太多建設性的想法。另外巴赫和埃捨爾雖然一直齣場,卻並沒有達到期待中的深度,大多還是作為輔助解釋。“自指”和“配位”是作者強調的兩個核心思想。我想隨著交叉學科人纔的增多,以及AI領域的發展,未來這種類型的書將不會鮮見吧。翻譯很有趣,體現齣另一個維度的對偶,不過後期是不是校對崩瞭,從介紹圖靈那一章開始,有三、四處錯字齣現。總的來說,這書還是給人以啓發的。

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

##媽媽問我為什麼跪著看書係列。。。

評分☆☆☆☆☆

##揀自己能讀懂的部分瀏覽瞭遍,虛榮地標上“已讀”,但這些都不影響我真誠地覺得這是一本牛逼的書。是的我第一次用這個詞形容一本書!

評分☆☆☆☆☆

##這本書太詭異,一個元燈的request可以觸發一個元元燈request一個元元元燈,元元元燈再request元元元元燈。。。如此內推然後在有限時間內返迴。那麼就不存在頂端的Object. 可是沒有頂端Object如何設計垃圾迴收呢?宇宙從來不迴收垃圾。

評分☆☆☆☆☆

##唯一不給五星的原因是,譯文就像跑瞭氣的可口可樂,你唾幾口吐沫進去,不等於說我就能喝齣泡泡來。這本書在“智”的層麵大概已臻極點。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

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等

© 2026 book.tinynews.org All Rights Reserved. 静思书屋 版权所有