数理逻辑：证明及其限度epub,mobi,azw3,pdf格式kindle电子书下载，作者：郝兆宽-琅嬛苑

书名
数理逻辑：证明及其限度
作者郝兆宽杨睿之杨跃
格式PDF
ISBN书号9787309145687
出版年2020-8
出版社复旦大学出版社
页数255
装帧平装

作者简介

郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。
杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。
杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。

内容简介

数理逻辑是一门非常成熟的学科

相比于其他教材

《数理逻辑：证明及其限度》将逻辑与元数学联系在一起

更多地介绍语义部分和强调语法语义的统一

郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。

杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。

杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。

下载地址

豆瓣评论

行人驱逐舰

少数几本我觉得自学会很吃力的书，但这主要是内容难，书本身不错。11-25
untureeei_o

很多关键步骤都留做了习题，然而又没有解答，自学会很费力。05-12
DestinHistoire

无需”中文“这一限制也依旧杰出的教材，作者在处理与日后进阶内容有关联的概念与结果上耗费了大量心血。全书的目标很明确，就是以最严格的方式处理Godel定理，并以此解决30年代大部的经典结果。严格定义递归论概念、第一定理纯粹语法的Rosser证明、第二定理完整验证三个可证性条件，编码细节的详细程度在数理逻辑教材中是绝无仅有的。作为对比，Enderton将第一定理作为Tarski定理的推论并完全放过了可证性条件。以前听一位老师说考虑过开一门专讲Godel定理的短学期课程，考虑到其中的技巧多为特设性，对以后的学习帮助不大而搁置。但其实既然想要较好地把握高阶的集合论独立性证明，总是要练就一身在对象语言和元语言之间来去自如的功夫的，早些有这样的经验不是坏事。04-09
郁欣

对推动概念发展的动力解释清晰，适合具备一定数理逻辑基础的初阶数理逻辑学习者.05-25
Wait

快乐&痛苦回忆/呜呜呜学妹竟然把我书搞丢了…09-12

标签推荐

文学(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)