O000398 集合论与连续统假设浅说
出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第12册数理科学和化学、生物科学》第42页(370字)
张锦文编着。上海教育出版社1980年6月版。6.3万字。从集合的例子和概念入手,直观地讨论朴素集合论或康托尔集合论的基本原则(外延原则、概括原则和选择原则)、基本运算(并、交、幂)、基本概念(关系、函数、一一对应、对等、序数、基数)、基本定理(康托尔定理、蔻尼定理),引导出朴素集合论中的着名悖论(罗素悖论、康托尔悖论),说明必须对集合论进行公理化处理,并介绍了着名的集合论公理系统——蔡梅罗-弗兰克尔系统(ZF系统)。在此基础上,介绍哥德尔、科恩的工作和方法。本书的主要目的是陈述连续统假设和介绍它的进展,因此,对一些相关领域(如关系、函数、序数等),并未展开讨论,只对这些领域给出了一个清晰的符合现代术语的概念。对现代数学的一个领域——集合论作了通俗介绍,并涉及一些有趣味的逻辑问题。
上一篇:O000395 数理逻辑导论
下一篇:O000399 集合论导引