庫(kù)爾特·哥德?tīng)柺且粋(gè)智慧巨人。他的不完全性定理不僅改變了數(shù)學(xué),而且改變了整個(gè)科學(xué)世界和建筑于此定理之上的哲學(xué)。哥德?tīng)柖ɡ矸鬯榱诉壿嬜罱K將使我們理解整個(gè)世界的夢(mèng)想,同時(shí)也引發(fā)了許多富有挑戰(zhàn)性的問(wèn)題:什么是理性思維的界限?我們能夠完全理解我們自己造的機(jī)器嗎?我們能夠搞清楚我們心智的內(nèi)在工作過(guò)程嗎?當(dāng)研究結(jié)果缺乏邏輯的確定性時(shí),數(shù)學(xué)家還怎么繼續(xù)工作?在這本書(shū)里,我們最終遇到了置身于這些深邃思想背后的那個(gè)人。約翰·L.卡斯蒂和維爾納·德波利為我們描述了一個(gè)復(fù)雜的人物:既入世又遁世,既雄心勃勃又固執(zhí)己見(jiàn)。
正像卡斯蒂和德波利所明斷的那樣,哥德?tīng)柕挠绊懯浅志貌凰サ摹K墓ぷ鞑粌H使數(shù)學(xué)發(fā)生革命性的變化,而且波及哲學(xué)、語(yǔ)言學(xué)和計(jì)算機(jī)科學(xué),甚至還包括宇宙學(xué)。
這是一本非典型人物傳記,兩位作者的筆墨著重于讓非專(zhuān)業(yè)人士也能看明白斜杠邏輯大師哥德?tīng)柕某删,以及他何以成為?ài)因斯坦的知音、托起AI之父圖靈的巨人。
作為千禧年紀(jì)念活動(dòng)的一部分,《時(shí)代》雜志公布了一份列有20世紀(jì)100個(gè)最偉大人物的名單,其中所選出的最偉大數(shù)學(xué)家是庫(kù)爾特·哥德?tīng)?Kurt Godel)。如果你隨機(jī)挑出100個(gè)人問(wèn):你知道哥德?tīng)柺钦l(shuí)嗎?那么幾乎可以肯定,你不會(huì)得到什么肯定的答案。而如果你問(wèn)誰(shuí)是20世紀(jì)最偉大的物理學(xué)家[愛(ài)因斯坦(Einstein)],或誰(shuí)是最偉大的化學(xué)家[鮑林(Linus Pauling)?],或誰(shuí)是最偉大的作家(?),情況八成不會(huì)是這樣。這本小冊(cè)子力求做到的,就是激起廣大讀者對(duì)哥德?tīng)柟ぷ髋c生活的興趣,并且,至少要部分地把哥德?tīng)枠O其巨大的學(xué)術(shù)成就引介到現(xiàn)代智識(shí)話(huà)語(yǔ)(modern intellectual discourse)的主流中去。
這樣一個(gè)計(jì)劃肇始于1986年。當(dāng)時(shí),我們兩個(gè)作者中的一人維爾納·德波利(Werner DePauli)正與彼得·魏貝爾(Peter Weibel)合作,為奧地利國(guó)家電視網(wǎng)制作一部有關(guān)哥德?tīng)柹降膶?zhuān)題片。伴隨著這部片子的播放,一本以那個(gè)電視節(jié)目腳本為基礎(chǔ)、用德文寫(xiě)就的小書(shū)也出版了。最初我們只不過(guò)想把那本小冊(cè)子譯成英文,再為英文讀者稍微補(bǔ)充一些哥德?tīng)柹畹募?xì)節(jié)和其他素材。但不久我們就意識(shí)到,讀者需要一本內(nèi)容更豐富的讀物,于是這便促生了一本全新的書(shū),也就是你們拿在手中的這一本。
在準(zhǔn)備這部書(shū)稿期間,維也納的許多朋友、同事所提出的建議和給予的支持,均使我們深深受益。這里,我們要特別感謝戈?duì)柌?J.Golb)、克勒(E.Kohler)、尼爾森(C.Nielsen)以及魏貝爾。此外,本書(shū)的兩位編輯羅賓斯(Jeff Robbins)和庫(kù)克(Amanda Cook)的努力,亦使得這本書(shū)更具有可讀性。的確,要想把哥德?tīng)柲欠N風(fēng)格的抽象工作表述清楚,并非易事。
哥德?tīng)栆苍S是,也許不是20世紀(jì)最偉大的數(shù)學(xué)家,但他肯定是偉大的數(shù)學(xué)家中的一個(gè)。我們最誠(chéng)摯的愿望是,讀者通讀全書(shū)后就會(huì)知道為何這么說(shuō)。
約翰·L.卡斯蒂
維爾納·德波利
作者簡(jiǎn)介:
約翰·L. 卡斯蒂,1943年生于波特蘭,1970年在南加利福尼亞大學(xué)獲數(shù)學(xué)博士學(xué)位,曾任職于美國(guó)蘭德公司、亞利桑那大學(xué)和奧地利維也納的國(guó)際應(yīng)用系統(tǒng)分析研究所(IIASA)。1986年進(jìn)入維也納技術(shù)大學(xué)計(jì)量經(jīng)濟(jì)、運(yùn)籌學(xué)和系統(tǒng)理論研究所。1992年加入美國(guó)圣菲研究所,F(xiàn)在的研究興趣集中于利用大型微模擬器研究復(fù)雜自適應(yīng)系統(tǒng)。著有《實(shí)在更替》《范式喪失》《尋求確定性》《復(fù)雜化》《五項(xiàng)黃金法則》《虛實(shí)世界》和《劍橋五重奏》。
維爾納·德波利,維也納大學(xué)統(tǒng)計(jì)與計(jì)算機(jī)科學(xué)研究所教授。他著有好幾本有關(guān)哥德?tīng)柕牡挛臅?shū),并曾為德語(yǔ)電視節(jié)目制作過(guò)一部有關(guān)哥德?tīng)柕碾娪啊?/p>
譯者簡(jiǎn)介:
劉曉力
北京大學(xué)哲學(xué)博士,中國(guó)人民大學(xué)哲學(xué)院教授,中國(guó)人民大學(xué)哲學(xué)與認(rèn)知科學(xué)交叉平臺(tái)首席專(zhuān)家。主要研究方向?yàn)榭茖W(xué)哲學(xué)和數(shù)學(xué)哲學(xué)、心靈哲學(xué)與認(rèn)知科學(xué)哲學(xué),著有《哥德?tīng)査枷胙芯俊贰墩J(rèn)知科學(xué)對(duì)當(dāng)代哲學(xué)的挑戰(zhàn)》等。
葉闖
哲學(xué)博士,教授,曾任教于北京大學(xué)哲學(xué)系,現(xiàn)任教于山西大學(xué)哲學(xué)學(xué)院,主要學(xué)術(shù)領(lǐng)域?yàn)檎Z(yǔ)言哲學(xué)、形而上學(xué)、哲學(xué)方法論,已出版《理解的條件戴維森的解釋理論》《語(yǔ)言·意義·指稱(chēng)自主的意義與實(shí)在》等學(xué)術(shù)專(zhuān)著。
001一 前言
001一 第一章 自亞里士多德以來(lái)
009一 第二章 永遠(yuǎn)的不完全
028一 第三章 不可判定
037一 第四章 青年時(shí)代的哥德?tīng)?br />053一 第五章 在普林斯頓的生活
067一 第六章 計(jì)算裝置與數(shù)學(xué)
084一 第七章 思維機(jī)器和不完全性邏輯
106一 第八章 自如穿越
115一 第九章 復(fù)雜性之復(fù)雜性
134一 第十章 靈魂之窗
137一 參考文獻(xiàn)