- 中国华侨出版社(2)
- 中国华侨出版社(2)
- 上海人民出版社(2)
- 上海人民出版社(2)
- 武汉大学出版社(1)
- 武汉大学出版社(1)
- 上海人民出版社(2)
- 上海人民出版社(2)
- 武汉大学出版社(1)
- 武汉大学出版社(1)
- 中国华侨出版社(2)
- 中国华侨出版社(2)
-
抽象主义集合论(下卷):从怀特到林内波
¥67.2(7折)定价:¥96.0本书(上下卷)所反映的内容是数理逻辑与数学哲学相结合的典范。前者是数学家们研究的对象,后者是哲学家们研究的对象。数理逻辑分为集合论、证明论、递归论和模型论。数学哲学在古典时期分为逻辑主义、直觉主义和形式主义,在当代分为虚构主义、结构主义、自然主义和多元主义。我们选取的是逻辑主义及其在当代的复活。如果说上卷讲的是集合论哲学,那么下卷讲的是模型论哲学。换句话说,上卷从集合论的视角去研究逻辑主义,下卷从模型论的视角去研究逻辑主义。我们依次描
-
学仕遗规
¥57.6(7.2折)定价:¥80.0作者雍乾名臣陈宏谋将“先儒格论编采成书”,以“警醒俗学浮靡之弊习,有裨经世利济之实学”。《学仕遗规》在清末民初被列为社会教育和蒙童教育教材。现予以点校整理,并已横排简体的方式出版...
-
抽象主义集合论(上卷):从布劳斯到斯塔德
¥47.3(4.3折)定价:¥110.0本书论述了数学基础三大主义的热潮退去后的数学哲学领域的变化和进展。哥德尔在完成不接近定理和连续统假设的相对协调性的证明以后,提出了自己的数学哲学思想。他持一种数学实在论的思潮,认为人有知觉到数学实体的能力。对数学实在论的强力支撑是有奎因-普特南的不可或缺性论证完成的。当然,帕森斯和麦蒂继续强化了哥德尔对数学直觉的论证。从历目前追溯的话,弗雷格既是数理逻辑的创始人,也是数学实在论的持有者。罗素尽管也是逻辑主义的代表人物,但哥德尔认为他的