基本信息
编辑推荐
《数学无穷与中介的逻辑基础》内容的主题是讨论包括中介系统与数学无穷在内的数学基础问题。“数学基础”是20世纪上半叶所诞生的一个数学分支学科,该学科专门研究如何为古今种种数学系统奠定其理论基础的问题,或者说如何为种种数学系统奠定其逻辑基础的问题。20世纪30年代以后的相当一段时间内,形成了数学基础热。随着时间的推移,数学基础热逐渐降温直至低潮。然而不要忘记,数学基础这一分支学科自从诞生之日起,就必定成为数学之存在和发展中的一个永恒的研究课题。
内容简介
作译者
目录
序
特殊符号的名称及其解读方式
第1章 精确性经典数学的理论基础问题
1.1 古典集合论的诞生及其思想方法
1.2 何谓悖论
1.3 数学危机
1.4 近代公理集合论对悖论的解决方案
第2章 关于模糊数学的理论基础问题
2.1 模糊性与模糊数学
2.2 奠基于精确性经典数学之上的模糊数学
2.2.1 模糊拓扑
2.2.2 模糊代数
2.3 ZB公理集合论系统
2.4 中介数学系统
2.4.1 两种谓词的划分与定义
2.4.2 集合的运算
2.4.3 谓词与集合
2.4.4 小集与巨集
2.4.5 MS与ZFC之间的关系