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

内容简介：

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

相比于其他教材

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

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

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

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

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

作者简介：

下载地址：

下载数理逻辑：证明及其限度

标签：

文章链接：https://www.dushupai.com/book-content-31860.html(转载时请注明本文出处及文章链接)

读书评论：更多

行人驱逐舰

11-25

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

05-12

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

04-09

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