哥德爾：邏輯的困境

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

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