哥德尔证明txt,chm,pdf,epub,mobi下载 作者:欧内斯特·内格尔(Ernest Nagel)/詹姆士 R. 纽曼 (James R. Newman) 出版社: 中国人民大学出版社 原作名: Gödel’s Proof 译者:陈东威/连永君 出版年: 2008-3 页数: 112 定价: 18.00元 装帧: 平装 丛书: 当代世界学术名著·哲学系列 ISBN: 9787300088907 内容简介 · · · · · ·《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中,普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。 作者简介 · · · · · ·欧内斯特·内格尔(Ernest Nagel) (1901—1985) 内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院学士学位,1925年获哥伦比亚大学数学硕士学位,1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外,一直在哥伦比亚大学任教:1946年起任教授,1956年至1966年任杜威讲座哲学教授,1967年至1970年退休前成为校级教授。其间,1940年至1946年任《符号逻辑》杂志编委;1939年至1956年担任《哲学杂志》编委;1956年至1959年任《科学哲学》杂志编委。曾任美国哲学和科学方法研究会主席,美国符号逻辑协会主席,美国哲学协会东部分会主席。他于1961年出版的《科学的结构》(The Structure of Science)被公认为科学分析哲学的开... 目录 · · · · · ·新版序言致谢 一 导论 二 一致性问题 三 一致性的绝对证明 四 形式逻辑的系统编码 · · · · · ·() 新版序言 致谢 一 导论 二 一致性问题 三 一致性的绝对证明 四 形式逻辑的系统编码 五 一个成功的一致性绝对证明的例子 六 映射的概念及其在数学中的应用 七 哥德尔证明 (一)哥德尔编码 (二)元数学的算术化 (三)哥德尔论证的核心 八 结论性的反思 附录 简要书目 索引 译者后记 · · · · · · () |
观点比较新颖,文笔流畅,通俗易懂。
中了毒,根本停不下来
非常棒
还没看