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