由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
音像抽象主义集合论(上卷):从布劳斯到斯塔德薄谋
¥ ×1
引言
章 高阶集合论
节 高阶集合论的模型、可能模型与标准模型
第二节 层次理论下的集合论
第三节 克雷泽尔原则、反原则与强无穷公理
第四节 对集合论真的结构主义描述
第五节 二阶策梅洛集合论变体模型
第六节 范畴、迭代与大小限制
第二章 集合迭代
节 用阶段理论描述集合迭代概念
第二节 两个典型的集合概念
第三节 编码集合迭代概念的更新第五基本定律
第四节 基于双模态的集合迭代概念公理化
第三章 新逻辑主义实分析
节 新弗雷格主义实数抽象原则
第二节 基于黑尔的对膨胀抽象原则的分析
第三节 从结构主义出发对实分析的新逻辑主义处理
第四节 作为抽象主义实分析基础的弗雷格约束
第四章 新逻辑主义集合论
节 启蒙版本第五基本定律模型
第二节 关于新第五基本定律的哲学争论与数学推进
第三节 新逻辑主义者无法构建数学的认识无罪
第四节 探寻作为新弗雷格主义集合论基础的抽象原则
第五节 坏作为不定可扩充的抽象主义集合论
第六节 抽象原则、认识无罪与富有窘境异议
第七节 良基和非良基弗雷格主义扩充
第八节 弗雷格会面策梅洛:对不可言喻和反的看法
参考文献
薄谋,1983年生,山西人,复旦大学哲学博士(数学哲学),南开大学数学博士后(数理逻辑)。任职于兰州大学哲学系,专业方向为数学基础、认知科学等。发表专业10篇,出版教材1部,承担社科青年项目1项,承担校级项目3项,参与青年项目1项。为生开设数学基础、数理逻辑、模态逻辑和人工智能4门课程,为开设数学哲学等课程。担任中国数学会数理逻辑专业委员会理事,中国逻辑学会理事。担任《逻辑学研究》审稿人,《科学经济社会》责任编辑。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格