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

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

下载地址

豆瓣评论

马蹄北去

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

标签推荐

文学(7254) 历史(4068) 小说(3717) 哲学(2341) 地理(1918) 宗教(1723) 经济(1631) 政治(1438) 法律(1171) 科普(1113) 工业技术(1103) 文化(1044) 科学(1030) 艺术(1003) 日本(938) 教育(813) 管理(721) 社会(682) 体育(671) 经典(563) 思想(555) 推理(544) 社会科学总论(482) 医药(477) 卫生(476) 传记(470) 心理(450) 商业(448) 励志(432) 投资(425) 美国(424) 思维(423) 悬疑(421) 金融(412) 随笔(410) 中国(340) 旅行(316) 数理科学与化学(316) 绘本(313) 科幻(309) 中国语言文学(302) 语言(294) 理学(289) 文字(275) 中国古代文学(273) 漫画(272) 中国现当代文学(271) 外国语言文学(271) 建筑(266) 成长(250) 军事(245) 纪实(237) 生物学(233) 美食(231) 英国(229) 互联网(225) 天文学(218) 游记(214) 心理学(196) 生物科学(195) 散文(187) 工学(170) 职场(168) 历史学(160) 生活(158) 社会学(155) 医学(151) 法国(150) 营销(148) 编程(142) 女性(139) 法学(137) 地球科学(136) 设计(130) 二战(126) 战争(126) 学习(126) 股票(121) 奇幻(119) 物理(115) 世界(113) 德国(111) 人文(109) 理财(106) 创业(106) 欧洲(104) 经济学(101) 人物(100) 健康(93) 沟通(88) 自然(87) 治愈(86) 宇宙(85) 艺术学(85) 数学(84) 名著(84) 生物(83) 爱情(81) 计算机科学与技术(80) 国学(78)