哥德爾、艾舍爾、巴赫∶集異璧之大成
哥德爾、艾舍爾、巴赫∶集異璧之大成
這是一本空前的奇書，也是一本傑出的科學普及名著，它以精心設計的巧妙筆法深入淺出地介紹了數理邏輯、可計算理論、人工智能等學科領域中的許多艱深理論，輕松、幽默、流暢的文字隱藏著大量的潛台詞，它們前後照應、互相聯系，交織成一個復雜、無形的網絡，讀者看不見它，但可以嗅出它的氣味，並覺察到這是作者有意噴灑的。作者希望借此引起讀者的興趣，從而在反復玩味中體會出那些潛台詞來，真正觸及本書的精華。
作者真正想寫的就是這個問題。盡管全書涉及廣泛，核心卻是哥德爾，是數學基礎。哥德爾（ Kurt Godel，1906 - 1978 ）是一位奧地利出生的數學家。 1931 年他發表的現在被稱之為不完全性的定理，是 20
世紀最具革命性的發現。大體上，這個定理是說，在任何公理體系中，必定有這樣的命題，用這個公理體系「自身」既不能證明其真，也不能證明其偽。關於哥德爾，有一本評傳值得推薦，那就是上海譯文出版社 1997 年出版的，著名華裔數學家王浩寫的哥德爾》。
