logo
分类于: 计算机基础 人工智能

简介

哥德尔证明

哥德尔证明 9.3分

资源最后更新于 2020-08-18 15:46:57

作者:欧内斯特·内格尔(Ernest Nagel)

译者:陈东威

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

出版日期:2008-01

ISBN:9787300088907

文件格式: pdf

标签: 数学 哲学 哥德尔 数理逻辑 逻辑 逻辑学 科普 Godel

简介· · · · · ·

《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。

在此书的新版中,普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。

想要: 点击会收藏到你的 我的收藏,可以在这里查看

已收: 表示已经收藏

Tips: 注册一个用户 可以通过用户中心得到电子书更新的通知哦

目录

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