欢迎光临中图网 请 | 注册
暖心大清仓|到手1元起,每满100减60
>
关于“薄谋著”检索到   共2种现货商品
出版社:
确定 取消
售价:
---
  • 抽象主义集合论(上卷):从布劳斯到斯塔德

    薄谋 著  /  2021-10-01  /  上海人民出版社
    ¥73.7(6.7折)定价:¥110.0

    本书论述了数学基础三大主义的热潮退去后的数学哲学领域的变化和进展。哥德尔在完成不接近定理和连续统假设的相对协调性的证明以后,提出了自己的数学哲学思想。他持一种数学实在论的思潮,认为人有知觉到数学实体的能力。对数学实在论的强力支撑是有奎因-普特南的不可或缺性论证完成的。当然,帕森斯和麦蒂继续强化了哥德尔对数学直觉的论证。从历目前追溯的话,弗雷格既是数理逻辑的创始人,也是数学实在论的持有者。罗素尽管也是逻辑主义的代表人物,但哥德尔认为他的

  • 抽象主义集合论(下卷):从怀特到林内波

    薄谋 著  /  2024-04-01  /  上海人民出版社
    ¥69.1(7.2折)定价:¥96.0

    本书(上下卷)所反映的内容是数理逻辑与数学哲学相结合的典范。前者是数学家们研究的对象,后者是哲学家们研究的对象。数理逻辑分为集合论、证明论、递归论和模型论。数学哲学在古典时期分为逻辑主义、直觉主义和形式主义,在当代分为虚构主义、结构主义、自然主义和多元主义。我们选取的是逻辑主义及其在当代的复活。如果说上卷讲的是集合论哲学,那么下卷讲的是模型论哲学。换句话说,上卷从集合论的视角去研究逻辑主义,下卷从模型论的视角去研究逻辑主义。我们依次描

编辑推荐

中图网
返回顶部