邏輯人生：哥德爾傳

庫爾特·哥德爾是一個智慧巨人。他的不完全性定理不僅改變了數學，而且改變了整個科學世界和建築於此定理之上的哲學。哥德爾定理粉碎了邏輯最終將使我們理解整個世界的夢想，同時也引發了許多富有挑戰性的問題：什麼是理性思維的界限？我們能夠完全理解我們自己造的機器嗎？我們能夠搞清楚我們心智的內在工作過程嗎？當研究結果缺乏邏輯的確定性時，數學家還怎麼繼續工作？在這本書里，我們最終遇到了置身於這些深邃思想背後的那個人。約翰·L.卡斯蒂和維爾納·德波利為我們描述了一個複雜的人物：既入世又遁世，既雄心勃勃又固執己見。

正像卡斯蒂和德波利所明斷的那樣，哥德爾的影響是持久不衰的。他的工作不僅使數學發生革命性的變化，而且波及哲學、語言學和計算機科學，甚至還包括宇宙學。



約翰·L.卡斯蒂，1943年生於波特蘭，1970年在南加利福尼亞大學獲數學博士學位，曾任職於美國蘭德公司、亞利桑那大學和奧地利維也納的國際應用系統分析研究所（IIASA）。1986年進入維也納技術大學計量經濟、運籌學和系統理論研究所。1992年加入美國聖菲研究所。現在的研究興趣集中於利用大型微模擬器研究複雜自適應系統。著有《實在更替》《範式喪失》《尋求確定性》《複雜化》《五項黃金法則》《虛實世界》和《劍橋五重奏》。

維爾納·德波利，維也納大學統計與計算機科學研究所教授。他著有好幾本有關哥德爾的德文書，並曾為德語電視節目製作過一部有關哥德爾的電影。

劉曉力，北京大學哲學博士，中國人民大學哲學院教授，中國人民大學哲學與認知科學交叉平台首席專家。主要研究方向為科學哲學和數學哲學、心靈哲學與認知科學哲學，著有《哥德爾思想研究》《認知科學對當代哲學的挑戰》等。

葉闖，哲學博士，教授，曾任教於北京大學哲學系，現任教於山西大學哲學學院，主要學術領域為語言哲學、形而上學、哲學方法論，已出版《理解的條件——戴維森的解釋理論》《語言·意義·指稱——自主的意義與實在》等學術專著。