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