郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。 杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。 杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。
数理逻辑：证明及其限度
郝兆宽
评分 8分
数理逻辑是一门非常成熟的学科 相比于其他教材 本书将逻辑与元数学联系在一起 更多地介绍语义部分和强调语法语义的统一 郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。 杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。 杨跃：新加坡国立大学
哥德尔纲领
评分 8.9分
本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们
当代哲学经典：逻辑学卷
评分 7.3分
