邏輯人生：哥德?tīng)杺?/h1>

　　庫(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ù)工作？在這本書里，我們最終遇到了置身于這些深邃思想背后的那個(gè)人。約翰·L.卡斯蒂和維爾納·德波利為我們描述了一個(gè)復(fù)雜的人物：既入世又遁世，既雄心勃勃又固執(zhí)己見(jiàn)。正像卡斯蒂和德波利所明斷的那樣，哥德?tīng)柕挠绊懯浅志貌凰サ?。他的工作不僅使數(shù)學(xué)發(fā)生革命性的變化，而且波及哲學(xué)、語(yǔ)言學(xué)和計(jì)算機(jī)科學(xué)，甚至還包括宇宙學(xué)。

　　作者簡(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ó)圣菲研究所。現(xiàn)在的研究興趣集中于利用大型微模擬器研究復(fù)雜自適應(yīng)系統(tǒng)。著有《實(shí)在更替》《范式喪失》《尋求確定性》《復(fù)雜化》《五項(xiàng)黃金法則》《虛實(shí)世界》和《劍橋五重奏》。維爾納·德波利，維也納大學(xué)統(tǒng)計(jì)與計(jì)算機(jī)科學(xué)研究所教授。他著有好幾本有關(guān)哥德?tīng)柕牡挛臅?，并曾為德語(yǔ)電視節(jié)目制作過(guò)一部有關(guān)哥德?tīng)柕碾娪?。譯者簡(jiǎn)介：劉曉力北京大學(xué)哲學(xué)博士，中國(guó)人民大學(xué)哲學(xué)院教授，中國(guó)人民大學(xué)哲學(xué)與認(rèn)知科學(xué)交叉平臺(tái)首席專家。主要研究方向?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ǔ)言·意義·指稱——自主的意義與實(shí)在》等學(xué)術(shù)專著。