哥德爾證明

《哥德爾證明》是第一本既面向?qū)W者又面向非專業(yè)人士，對哥德爾證明的主要思路和廣泛含義作了易讀的解釋的書。對任何具有邏輯和哲學品味的受過教育的人士來說，它提供了一個深入了解先前無法企及的論題的機會。

在此書的新版中，普利策獎的獲獎作者道格拉斯?R·霍夫斯塔特對這一經(jīng)典著作的原文進行了重新斟酌和更新，澄清了模糊之處，使論述更為清晰，并使行文更具可讀性。

歐內(nèi)斯特·內(nèi)格爾（Ernest Nagel） (1901—1985）

內(nèi)格爾出生于現(xiàn)在捷克共和國的首都布拉格（當時是奧匈帝國的一部分），十歲時隨家庭移居美國。1923年獲紐約城市學院學士學位，1925年獲哥倫比亞大學數(shù)學碩士學位，1930年獲該校哲學博士學位。此后除了在洛克菲勒大學工作過一年之外，一直在哥倫比亞大學任教：1946年起任教授，1956年至1966年任杜威講座哲學教授，1967年至1970年退休前成為校級教授。其間，1940年至1946年任《符號邏輯》雜志編委；1939年至1956年擔任《哲學雜志》編委；1956年至1959年任《科學哲學》雜志編委。曾任美國哲學和科學方法研究會主席，美國符號邏輯協(xié)會主席，美國哲學協(xié)會東部分會主席。他于1961年出版的《科學的結(jié)構(gòu)》（The Structure of Science）被公認為科學分析哲學的開...

歐內(nèi)斯特·內(nèi)格爾（Ernest Nagel） (1901—1985）

內(nèi)格爾出生于現(xiàn)在捷克共和國的首都布拉格（當時是奧匈帝國的一部分），十歲時隨家庭移居美國。1923年獲紐約城市學院學士學位，1925年獲哥倫比亞大學數(shù)學碩士學位，1930年獲該校哲學博士學位。此后除了在洛克菲勒大學工作過一年之外，一直在哥倫比亞大學任教：1946年起任教授，1956年至1966年任杜威講座哲學教授，1967年至1970年退休前成為校級教授。其間，1940年至1946年任《符號邏輯》雜志編委；1939年至1956年擔任《哲學雜志》編委；1956年至1959年任《科學哲學》雜志編委。曾任美國哲學和科學方法研究會主席，美國符號邏輯協(xié)會主席，美國哲學協(xié)會東部分會主席。他于1961年出版的《科學的結(jié)構(gòu)》（The Structure of Science）被公認為科學分析哲學的開山之作，是邏輯實證主義運動的領(lǐng)軍人物之一。內(nèi)格爾是美國科學院院士，英國科學院的通訊院士。

詹姆士·R· 紐曼（James R. Newman）（1907—1966）

律師、數(shù)學家和數(shù)學史家。二戰(zhàn)前后及期間曾擔任美國駐倫敦大使館首席情報官，戰(zhàn)時副國務(wù)卿特別助理，美國參議院原子能問題顧問等重要敏感職務(wù)。戰(zhàn)后從1948年起，成為《科學美國人》雜志的編委會成員。他曾用十幾年的時間編輯出版了四卷本的《數(shù)學世界》叢書，其中收集了從古到今的重要數(shù)學文獻，具有極大參考價值，曾多次再版。