[哥德爾證明].(美)內(nèi)格爾-(美)紐曼

《[哥德爾證明].(美)內(nèi)格爾-(美)紐曼》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、哥德爾證明前外封面哥德爾證明原作者：歐內(nèi)斯特·內(nèi)格爾（ErnestNagel）詹姆士R.紐曼（JamesR.Newman）修編及新前言作者：道格拉斯R.霍夫斯塔特（DouglasR.Hofstadter）修訂版前內(nèi)封面1931年哥德爾出版了他的革命性的論文，《論<數(shù)學(xué)原理>及相關(guān)系統(tǒng)中的形式不可判定命題》，摧毀了某些支撐起數(shù)學(xué)和邏輯學(xué)的基本假定。具有諷刺意味的是，當(dāng)時(shí)很少有數(shù)學(xué)家能夠理解這位青年學(xué)者的復(fù)雜證明，多年來這項(xiàng)工作的整體重要性在很大程度上被忽略掉了。但是，哥德爾至少得到了欣賞他的少數(shù)精英的認(rèn)可，1951年他獲得了首屆為自然科學(xué)成就設(shè)立的阿爾伯特·愛因斯坦獎(jiǎng)，

2、這在美國的同類獎(jiǎng)項(xiàng)中是榮譽(yù)最高的。包括阿爾伯特·愛因斯坦和J.羅伯特·奧本海默(J.RobertOppenheimer)在內(nèi)的頒獎(jiǎng)委員會(huì)，稱其工作是“近年來對(duì)科學(xué)所做的最偉大貢獻(xiàn)之一”。在《哥德爾證明》中，歐內(nèi)斯特·內(nèi)格爾和詹姆士·紐曼既為學(xué)者也為非專業(yè)人士，對(duì)哥德爾發(fā)現(xiàn)中的主要思想和廣泛含義提出了一套具有可讀性和非技術(shù)性的解釋。此書首版是在1958年，此后陸續(xù)出了十種語言的版本。這部十分流行的原創(chuàng)性著作，為每一位對(duì)數(shù)學(xué)、邏輯和哲學(xué)有興趣的受過教育的人士提供了機(jī)會(huì)，便于他們理解這個(gè)原本艱澀而難以企及的論題。（續(xù)后內(nèi)封面）后內(nèi)封面（接前內(nèi)封面）在此次新版中，普利策獎(jiǎng)的獲

3、獎(jiǎng)作者道格拉斯R.霍夫斯塔特（DouglasR.Hofstadter）對(duì)這一經(jīng)典著作的原文進(jìn)行了重新斟酌和更新，澄清了模糊之處，使論述更為清晰，并使行文更具可讀性。他同時(shí)加進(jìn)了一篇新的前言，其中披露了他本人和這一開創(chuàng)性著作的特殊的個(gè)人聯(lián)系，它對(duì)他本人專業(yè)生涯的影響，解釋了哥德爾證明的基本精神，并且闡明了哥德爾證明是怎樣和為什么直到今天仍然具有相關(guān)的意義。這本使人愉悅的書將會(huì)受到學(xué)生、學(xué)者、教師，以及數(shù)學(xué)、計(jì)算機(jī)科學(xué)、邏輯、哲學(xué)和一般科學(xué)領(lǐng)域中的專業(yè)人士的喜愛。已故的歐內(nèi)斯特·內(nèi)格爾是原哥倫比亞大學(xué)約翰·杜威講座哲學(xué)教授，已故的詹姆士R.紐曼是《什么是科學(xué)》一書的作者。

4、道格拉斯.R.霍夫斯塔特是印地安那大學(xué)藝術(shù)和科學(xué)學(xué)院的計(jì)算機(jī)科學(xué)和認(rèn)知科學(xué)教授，普利策獲獎(jiǎng)作品《哥德爾、艾舍爾、巴赫：一條永恒的金帶》（G?del,Escher,Bach:AnEternalGoldenBraid）一書的作者。后外封面“一部微型的詮釋杰作?！薄匀浑s志“對(duì)哥德爾著名論文實(shí)質(zhì)內(nèi)容出色的非技術(shù)性說明?！薄绹鴶?shù)學(xué)會(huì)公告1931年，庫爾特.哥德爾（KurtG?del）發(fā)表了一篇革命性的論文，對(duì)傳統(tǒng)數(shù)學(xué)和邏輯研究中內(nèi)含的某些根本性假定提出了挑戰(zhàn)。時(shí)至今日，他對(duì)未知領(lǐng)域進(jìn)行的探索，已被公認(rèn)為是對(duì)現(xiàn)代科學(xué)思想的重大貢獻(xiàn)?，F(xiàn)在，這本再次修訂、擴(kuò)展和更新了的《哥德

5、爾證明》，是第一部對(duì)哥德爾證明的主要思路和廣泛含義作了易讀的解釋的書。前硬內(nèi)封頁1931年，庫爾特.哥德爾（KurtG?del）發(fā)表了一篇革命性的論文，對(duì)傳統(tǒng)數(shù)學(xué)和邏輯研究中作為基礎(chǔ)的某些根本性假定提出了挑戰(zhàn)。時(shí)至今日，他對(duì)未知領(lǐng)域進(jìn)行的探索，已被公認(rèn)為是對(duì)現(xiàn)代科學(xué)思想的重大貢獻(xiàn)。本書是第一本既面向?qū)W者又面向非專業(yè)人士，對(duì)哥德爾證明的主要思路和廣泛含義作了易讀的解釋的書。對(duì)任何具有邏輯和哲學(xué)品味的受過教育的人士來說，它提供了一個(gè)深入了解先前無法企及的論題的機(jī)會(huì)。在此書的新版中，普利策獎(jiǎng)的獲獎(jiǎng)作者道格拉斯R.霍夫斯塔特（DouglasR.Hofstadter）對(duì)這一經(jīng)典

6、著作的原文進(jìn)行了重新斟酌和更新，澄清了模糊之處，使論述更為清晰，并使行文更具可讀性。他同時(shí)加進(jìn)了一篇新的前言，其中披露了他本人和這一開創(chuàng)性著作的特殊的個(gè)人聯(lián)系，這本書對(duì)他本人專業(yè)生涯的影響，解釋了哥德爾證明的基本精神，并且闡明了哥德爾證明是怎樣和為什么直到今天仍然具有相關(guān)的意義。獻(xiàn)給伯特蘭.羅素(BertrandRussell)目錄道格拉斯R.霍夫斯塔特：中文版序言道格拉斯R.霍夫斯塔特：新版前言一導(dǎo)論二一致性問題三一致性的絕對(duì)證明四形式邏輯的系統(tǒng)編碼五一個(gè)成功的一致性絕對(duì)證明的例子六映射的概念及其在數(shù)學(xué)中的應(yīng)用七哥德爾證明A哥德爾編碼B元數(shù)學(xué)的算術(shù)化C哥德爾論證的核

7、心八結(jié)論性的反思附錄：注釋簡要書目譯者后記1為內(nèi)格爾和紐曼所著《哥德爾證明》一書的中文版寫的序言道格拉斯·霍夫斯塔特美國印地安納州布魯明頓印地安納大學(xué)認(rèn)知科學(xué)教授嗨！歡迎光臨！此刻我算是老板（真走運(yùn)）！先請(qǐng)你看一下圓周率π，或說得更準(zhǔn)確一點(diǎn)兒，是它的十進(jìn)位展開式中的前幾位：3.141592653589793238462643383279502884197169399375105820974944....你是否曾對(duì)π中的數(shù)字排列如此混亂而感到困惑？為什么“圓的周長含有多少個(gè)直徑的長度”這樣一個(gè)簡單而又自然的問題，竟導(dǎo)致這么一個(gè)玄奧難解的數(shù)，它不僅不是整