哥德尔不完全性定理epub,mobi,azw3,pdf格式kindle电子书下载，作者：雷蒙德 M. 斯穆里安

反馈

书名
哥德尔不完全性定理
作者雷蒙德 M. 斯穆里安
格式PDF
ISBN书号9787030596345
出版年2019-1
出版社科学出版社
页数176
定价78
标签科普数学逻辑逻辑学哥德尔数理逻辑

下载地址

下载哥德尔不完全性定理

豆瓣评论

马蹄北去

虽说稍微进阶的数理逻辑教材都有哥德尔不完全性定理的内容，但这本还是有一些值得一说的特点的：一是清楚地分离了证明的“哲学”部分（自指，对角化，真与可证）和技术部分（编码方案和语法的算术化），可以更清楚地把握证明的结构；二是介绍了哥德尔的原始证明和罗瑟的改进，并且通过第二不完全性定理的证明讲了一些可证逻辑的内容；三是通过使用一些小技巧大大降低了证明的理解难度。缺点是定价太贵以及公式不用LaTex排版看着有点难受。复旦的那本《数理逻辑》和这本的结构较为相似，但严谨程度更高，可参照阅读；可证逻辑在Boolos的《可计算性与数理逻辑》第27章有专题介绍2022-03-10

标签推荐

历史(12211) 文学(10937) 小说(9529) 哲学(5419) 中国(5197) 美国(4483) 外国文学(4360) 文化(4221) 科普(4012) 社会学(3892) 日本(3698) 心理学(3458) 政治(2974) 经济(2837) 传记(2686) 随笔(2674) 艺术(2624) 宗教(2601) 社会(2335) 英国(2268) 地理(2155) 科学(2095) 好书，值得一读(2087) 心理(1930) 中国文学(1888) 思维(1873) 经济学(1783) 成长(1716) 管理(1696) 推理(1693) 经典(1675) 法律(1645) 政治学(1618) 商业(1534) 生活(1489) 教育(1421) 教材(1403) 法国(1393) 工具书(1368) 日本文学(1361) 计算机(1345) 金融(1342) 思想史(1276) 女性(1255) 悬疑(1222) 工业技术(1191) 数学(1188) 中国历史(1166) 近代史(1133) 世界史(1099) 散文(1029) 投资(1008) 方法论(985) 科幻(939) 思想(930) 德国(929) 我想读这本书(923) 漫画(902) 海外中国研究(895) 推理小说(886)