选择公理/中山大学哲学精品教程

图书标准信息

• 作者 赵希顺 著
• 出版社 中山大学出版社
• 出版时间 2020-11
• 版次 1
• ISBN 9787306069627
• 定价 68.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 274页
• 字数 268千字

【内容简介】

  选择公理的发展处在数学、逻辑学和哲学的交汇处。选择公理的提出以及关于它的争论，涉及许多哲学观点的相互碰撞。选择公理为数学提供了强有力的论证方法，利用它可以证明许多重要的结论。选择公理的发展也促进了逻辑学的发展。《选择公理/中山大学哲学精品教程》主要对选择公理的产生及发展历史，它在数学和逻辑学中的应用，它的协调性和独立性以及它对数学哲学的影响作了全面系统的论述，分析了强无穷公理和选择公理的关系。此外，《选择公理/中山大学哲学精品教程》还介绍了若干与选择公理矛盾的命题。

【作者简介】

:
    赵希顺，教育部重点研究基地中山大学逻辑--与认知研究所教授、博士生导师。国际SAT协会(SAT Associ．ation)指导委员会(steering committee)成员(2008--201 2)，国际学术年会SAT 2008大会主席。2005年入选教育部“新世纪优秀人才”支持计划，2006年获中山大学文科优秀学者桐山奖，2008年获教育部高校自然科学奖二等奖。研究方向是数理逻辑及其在计算机科学和人工智能的应用，近年来主要关注逻辑系统的表达能力与计算复杂性研究。曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议论文~Lecture Notes in Computer SciPcP第4996卷(Springer)，Theproceedings ofthe 13th AJi以Logic Conference(World Scientific)，主编“社会博弈逻辑”丛书。国家社会科学基金重大项目“社会博弈的逻辑与计算模拟研究”首席专家。

【目录】

序言
第一章 选择公理的发展简史
1．1 选择公理的产生
1．2 策梅洛及其反对者
1．3 策梅洛的集合论公理系统
1．4 华沙学派的工作
1．5 选择公理的广泛应用
1．6 选择公理的独立性和协调性
1．7 决定性公理

第二章 选择公理的等价形式
2．1 选择公理
2．2 良序定理
2．3 势的三歧性
2．4 集合的势的运算
2．5 极大原则
2．6 代数学中的等价形式
2．7 拓扑学中的等价形式
2．8 逻辑学中的等价形式

第三章 选择公理的应用
3．1 依赖选择与可数选择
3．2 选择公理在分析与拓扑学中的应用
3．3 素理想定理及其等价
3．4 素理想定理的应用
3．5 选择公理在代数学中的应用
3．6 选择公理在描述集合论中的应用
3．7 巴拿赫一塔斯基分球定理
3．8 无穷性引理及其应用
3．9 选择原则和有穷选择公理

第四章 选择公理的相对协调性
4．1 zF公理系统
4．2 哥德尔函数与受囿公式
4．3 zF的传递模型
4．4 可构成集类
4．5 可构成公理
4．6 选择公理的相对协调性
4．7 相对可构成集合
4．8 序数可定义集合
4．9 ∞，一可构成集类与选择公理

第五章 选择公理的独立性
5．1 布尔值模型
5．2 脱殊模型
5．3 力迫方法
5．4 脱殊模型的例子
5．5 弗兰科尔的早期工作
5．6 脱殊模型的对称子模型
5．7 对称子模型的例子
5．8 线序原则（0P）推不出选择公理
5．9 嵌入定理
5．10 脱殊模型的其他子模型
5．11 没有选择公理的数学
……