[哥德尔证明].(美)内格尔(美)纽曼.pdf

哥德尔证明 前外封面 哥德尔证明 原作者：欧内斯特·内格尔（Ernest Nagel） 詹姆士 R. 纽曼 （James R. Newman） 修编及新前言作者：道格拉斯 R. 霍夫斯塔特（Douglas R. Hofstadter） 修订版 前内封面 1931 年哥德尔出版了他的革命性的论文，《论数学原理及相关系统中的形式 不可判定命题》，摧毁了某些支撑起数学和逻辑学的基本假定。具有讽刺意味的是， 当时很少有数学家能够理解这位青年学者的复杂证明，多年来这项工作的整体重要 性在很大程度上被忽略掉了。但是，哥德尔至少得到了欣赏他的少数精英的认可， 1951 年他获得了首届为自然科学成就设立的阿尔伯特·爱因斯坦奖，这在美国的 同类奖项中是荣誉最高的。包括阿尔伯特·爱因斯坦和 J.罗伯特·奥本海默(J. Robert Oppenheimer)在内的颁奖委员会，称其工作是“近年来对科学所做的最伟 大贡献之一”。 在《哥德尔证明》中，欧内斯特·内格尔和詹姆士·纽曼既为学者也为非专业 人士，对哥德尔发现中的主要思想和广泛含义提出了一套具有可读性和非技术性的 解释