哥德爾：邏輯的困境

　　《哥德爾：邏輯的困境》是哥德爾的權(quán)威傳記，全面描述了這位邏輯學(xué)家和哲學(xué)家的工作及生活細節(jié)。邏輯學(xué)家和科學(xué)史家道森對哥德爾的文獻和保存下來的信件進行了深入研究。研究表明，哥德爾在數(shù)學(xué)基礎(chǔ)方面的工作從根本上改變了我們對這個領(lǐng)域的看法，并在20世紀(jì)激發(fā)了許多研究方向。道森還探討了哥德爾的個性與他的科學(xué)成就之間的關(guān)系，并闡釋了哥德爾的成就對我們現(xiàn)代世界觀的影響。

　　約翰·道森（John W.Dawson Jr.），美國賓夕法尼亞州立大學(xué)數(shù)學(xué)系教授。生于堪薩斯州威奇塔市（Wichita）。曾獲美國國家優(yōu)秀學(xué)者獎（National Merit Scholar）。就讀于麻省理工學(xué)院，后在密歇根大學(xué)攻讀博士學(xué)位，研究數(shù)理邏輯。國際公認(rèn)的哥德爾研究權(quán)威。道森教授就現(xiàn)代邏輯學(xué)史和公理集合論寫過大量文章。1982到1984年間，他在普林斯頓高等研究院整理哥德爾文獻。并在此后擔(dān)任《哥德爾全集》的編輯。道森教授還是位嫻熟的長笛演奏家。他和妻子謝麗爾住在賓夕法尼亞州約克郡，兩人在編輯工作和音樂愛好上琴瑟和諧。譯者簡介：唐璐，湖南臨湘人，華中科技大學(xué)學(xué)士、碩士，中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院博士，現(xiàn)任教于湖南大學(xué)，主要研究方向為人工智能、復(fù)雜系統(tǒng)以及哥德爾研究，譯有《不完備性——哥德爾的證明和悖論》一書。