注重体验与质量的电子书资源下载网站
分类于: 计算机基础 人工智能
简介
哥德尔证明 豆 9.3分
资源最后更新于 2020-08-18 15:46:57
作者:欧内斯特·内格尔(Ernest Nagel)
译者:陈东威
出版社:中国人民大学出版社
出版日期:2008-01
ISBN:9787300088907
文件格式: pdf
标签: 数学 哲学 哥德尔 数理逻辑 逻辑 逻辑学 科普 Godel
简介· · · · · ·
《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中,普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。
目录
新版序言
致谢
一 导论
二 一致性问题
三 一致性的绝对证明
四 形式逻辑的系统编码
五 一个成功的一致性绝对证明的例子
六 映射的概念及其在数学中的应用
七 哥德尔证明
(一)哥德尔编码
(二)元数学的算术化
(三)哥德尔论证的核心
八 结论性的反思
附录
简要书目
索引
译者后记
致谢
一 导论
二 一致性问题
三 一致性的绝对证明
四 形式逻辑的系统编码
五 一个成功的一致性绝对证明的例子
六 映射的概念及其在数学中的应用
七 哥德尔证明
(一)哥德尔编码
(二)元数学的算术化
(三)哥德尔论证的核心
八 结论性的反思
附录
简要书目
索引
译者后记