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

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

##文科生讀這樣一本書，的確是勉為其難瞭，不過各取所需罷瞭。這本奇書的定位是“科學普及讀物”，也就是還算不得是理論專著，這不禁讓我聯想到同樣非常有名而且我很喜歡的哲學普及讀物《蘇菲的世界》。不管怎麼樣，36年前的這本奇書意外地加深瞭我對巴赫的理解：不論是從理性的角度，還是從藝術的角度去理解和演繹巴赫，都將是非常艱巨的，可以說如朝聖一般~~~

##斷斷續續看瞭一個月之久，算是啃完瞭。作者博聞強識、引經據典涉略瞭諸多領域：數學、生物、計算機、音樂、物理等。縱觀全書，侯世達似乎在說一個詞——self，一種對自我的思考，自我的認知，自我的成長。阿波羅神廟上的“認識你自己”，尼采的“成為你自己！”，概如是矣。沒有你，你所觀察到的世界還在麼？我想一定不在。 好書還需重讀。就這樣。

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

##這本書太詭異，一個元燈的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

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

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

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