哥德尔证明

哥德尔证明

(美) 内格尔, (美) 纽曼, 著

出版社:中国人民大学出版社

年代:2008

定价:20.0

书籍简介:

本书是一本既面向学者,又面向非专业人士,对任何具有逻辑和哲学品位的人,提供了一个深入了解先前无法企及的论题机会。

书籍目录:

新版序言致谢一 导论二 一致性问题三 一致性的绝对证明四 形式逻辑的系统编码五 一个成功的一致性绝对证明的例子六 映射的概念及其在数学中的应用七 哥德尔证明 (一)哥德尔编码 (二)元数学的算术化 (三)哥德尔论证的核心八 结论性的反思附录简要书目

新版序言致谢一 导论二 一致性问题三 一致性的绝对证明四 形式逻辑的系统编码五 一个成功的一致性绝对证明的例子六 映射的概念及其在数学中的应用七 哥德尔证明 (一)哥德尔编码 (二)元数学的算术化 (三)哥德尔论证的核心八 结论性的反思附录简要书目索引译者后记

内容摘要:

1931年,库尔特·哥德尔发表了一篇革命性的论文,对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日,他对未知领域进行的探索,已被公认为是对现代科学思想的重大贡献。 本书是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易懂的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中,普利策奖的获奖作者道格拉斯·R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。他同时加进了一篇新的前言,其中披露了他本人和这一开创性著作的特殊的个人联系,这本书对他本人专业生涯的影响,解释了哥德尔证明的基本精神,并且阐明了哥德尔证明是怎样和为什么直到今天仍然具有相关的意义。

编辑推荐:

1931年,库尔特·哥德尔发表了一篇革命性的论文,对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日,他对未知领域进行的探索,已被公认为是对现代科学思想的重大贡献。 本书是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易懂的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。

书籍规格:

书籍详细信息
书名哥德尔证明站内查询相似图书
丛书名当代世界学术名著
9787300088907
如需购买下载《哥德尔证明》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位中国人民大学出版社
版次1版印次1
定价(元)20.0语种简体中文
尺寸19装帧平装
页数印数

书籍信息归属:

哥德尔证明是中国人民大学出版社于2008.出版的中图分类号为 B516.59 的主题关于 哥德尔,K.(1906~1978)-逻辑哲学-研究 的书籍。