[教育书籍]《哥德尔证明》.(美)内格尔_(美)纽曼.pdf

哥德尔证明 前外封面 哥德尔证明 原作者：欧内斯特·内格尔（Ernest Nagel） 詹姆士 R. 纽曼 （James R. Newman） 修编及新前言作者：道格拉斯 R. 霍夫斯塔特（Douglas R. Hofstadter） 修订版 前内封面 1931 年哥德尔出版了他的革命性的论文，《论<数学原理>及相关系统中的形式 不可判定命题》，摧毁了某些支撑起数学和逻辑学的基本假定。具有讽刺意味的是， 当时很少有数学家能够理解这位青年学者的复杂证明，多年来这项工作的整体重要 性在很大程度上被忽略掉了。但是，哥德尔至少得到了欣赏他的少数精英的认可， 1951 年他获得了首届为自然科学成就设立的阿尔伯特·爱因斯坦奖，这在美国的 同类奖项中是荣誉最高的。包括阿尔伯特·爱因斯坦和 J.罗伯特·奥本海默(J. Robert Oppenheimer)在内的颁奖委员会，称其工作是“近年来对科学所做的最伟 大贡献之一”。 在《哥德尔证明》中，欧内斯特·内格尔和詹姆士·纽曼既为学者也为非专业 人士，对哥德尔发现中的主要思想和广泛含义提出了一套具有可读性和非技术性的 解释。此书首版是在 1958 年，此后陸续出了十种语言的版本。这部十分流行的原 创性著作，为每一位对数学、逻辑和哲学有兴趣的受过教育的人士提供了机会，便 于他们理解这个原本艰涩而难以企及的论题。（续后内封面） 后内封面 （接前内封面） 在此次新版中，普利策奖的获奖作者道格拉斯 R. 霍夫斯塔特（Douglas R. Hofstadter）对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使 论述更为清晰，并使行文更具可读性。他同时加进了一篇新的前言，其中披露了他 本人和这一开创性著作的特殊的个人联系，它对他本人专业生涯的影响，解释了哥 德尔证明的基本精神，并且阐明了哥德尔证明是怎样和为什么直到今天仍然具有相 关的意义。这本使人愉悦的书将会受到学生、学者、教师，以及数学、计算机科学、 逻辑、哲学和一般科学领域中的专业人士的喜爱。 已故的欧内斯特·内格尔是原哥伦比亚大学约翰·杜威讲座哲学教授，已故的 詹姆士 R. 纽曼是《什么是科学》一书的作者。 道格拉斯.R.霍夫斯塔特是印地安那大学艺术和科学学院的计算机科学和认知 科学教授，普利策获奖作品《哥德尔、艾舍尔、巴赫：一条永恒的金带》 （Gödel, Escher, Bach: An Eternal Golden Braid）一书的作者。 后外封面 “一部微型的诠释杰作。”——自然杂志 “对哥德尔著名论文实质内容出色的非技术性说明。”——美国数学会公告 1931 年，库尔特. 哥德尔（Kurt Gödel）发表了一篇革命性的论文，对传统 数学和逻辑研究中内含的某些根本性假定提出了挑战。时至今日，他对未知领域进 行的探索，已被公认为是对现代科学思想的重大贡献。现在，这本再次修订、扩展 和更新了的《哥德尔证明》，是第一部对哥德尔证明的主要思路和广泛含义作了易读 的解释的书。 前硬内封页 1931 年，库尔特. 哥德尔（Kurt Gödel）发表了一篇革命性的论文，对传统 数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日，他对未知领 域进行的探索，已被公认为是对现代科学思想的重大贡献。 本书是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛 含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它 提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯 R. 霍夫斯塔特（Douglas R. Hofstadter）对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使 论述更为清晰，并使行文更具可读性。他同时加进了一篇新的前言，其中披露了他 本人和这一开创性著作的特殊的个人联系，这本书对他本人专业生涯的影响，解释 了哥德尔证明的基本精神，并且阐明了哥德尔证明是怎样和为什么直到今天仍然具 有相关的意义。 献给