离散数学 课件 04集合.pptx

离散数学

主讲人：

第四章：集合

集合的历史阶段核心人物/学派关键贡献诞生格奥尔格·康托尔为数学提供统一基础，创立了集合论，提出基数与序数理论，创立超限数理论，证明并非所有无穷大都相同，提出连续统假设危机伯特兰·罗素第三次数学危机，朴素集合论的内在逻辑缺陷爆发，?罗素悖论“所有不包含自身的集合的集合”动摇了数学基础。表明基于“纯粹直觉”的朴素集合论会导致矛盾，急需严格化。稳固恩斯特·策梅洛

约翰·冯·诺依曼建立?ZFC公理系统，策梅洛-弗兰克尔系统+?选择公理；通过公理明确限制集合的构造，成功避免了已知悖论；ZFC成为现代数学的标准基础深化拓展库尔特·哥德尔，保罗·科恩元数学研究，?哥德