无名图书的logo
无名图书
  • 最近更新
  • 文学
  • 社会文化
  • 历史
  • 经济
  • 理工科
  • 政治
  • 健康
  • 自然科学
  • 计算机
  • 设计
  • 美食旅行
  • 思想
  • 生物
  • 建筑
  • 绘本
  • 天文

郝兆宽

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

  • 数理逻辑:证明及其限度

    郝兆宽

    评分 8.0分

    数理逻辑是一门非常成熟的学科 相比于其他教材 本书将逻辑与元数学联系在一起 更多地介绍语义部分和强调语法语义的统一 郝兆宽:复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。 杨睿之:复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。 杨跃:新加坡国立大学

  • 哥德尔纲领

    郝兆宽

    评分 8.9分

    本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后,关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决,连续统假设既不是真的也不是假的,这就是很后的答案,因此,这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决,我们

  • 当代哲学经典:逻辑学卷

    郝兆宽

    评分 7.3分