浅析集合论的发展优秀课件.ppt

《浅析集合论的发展优秀课件.ppt》由会员分享，可在线阅读，更多相关《浅析集合论的发展优秀课件.ppt（15页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、浅析集合论的发展第1页，本讲稿共15页悖悖 论论 科学的难题 低估悖论的重要性，把它们当作诡辩或者笑料，从科学进步的角度看来是十分危险的.我们必须找到它的原因，就是说，必须分析出悖论所依据的前提；然后，在这个前提中我们必须至少抛弃其中一个，而且还必须研究这将给我们的整个探讨带来什么样的后果。阿尔弗雷德塔尔斯基第2页，本讲稿共15页逻辑悖论逻辑悖论 悖论的核心在某些公认正确的知识背景下，可以合乎逻辑地建立两个矛盾语句相互推出的矛盾等价式。K真，当且仅当，K假。认识论悖论（语义悖论）“我正在说谎”狭义逻辑悖论（语形悖论）集合论第3页，本讲稿共15页集合论及其发展背景集合论及其发展背景18世纪，无穷

2、未定义，使微积分理论遇到严重的逻辑困难。19世纪上半叶，柯西给出了极限概念的精确描述。却没有彻底完成微积分的严密化。柯西的思想中甚至能产生逻辑矛盾。19世纪后期，许多数学家又致力于分析的严格化。涉及到对连续函数的描述。在数与连续性的定义中，再次涉及关于无限的理论。一切问题指向一个中心 无穷概念、无限集合第4页，本讲稿共15页 的悖论 漫长的困扰 两个同心圆点可以一一对应 周长相等吗？线段的整体等于部分吗？N=0，1，2，3，.A=0，1，4，9，.F(X)=XX A是N的子集吗？第5页，本讲稿共15页在在历史长时期内，哲学家、数学家认为：历史长时期内，哲学家、数学家认为：无穷特别是存在无穷是理

3、性思维永远不可能到达的彼岸。无穷特别是存在无穷是理性思维永远不可能到达的彼岸。整体总是大于部分的实无穷是不存在的不存在无限集合伽利略，高斯，柯西。整体可以等于部分存在实无穷无限集合与其真子集可一一对应康托尔，戴德金。第6页，本讲稿共15页康托尔超限集合论康托尔超限集合论 超限基数0之间可N,Z,Q自然数集的基数，且 一一对应，基数均为0C，并且证得)连续统基数C(得到实数集基数0本身的基数S的基数大于PS对任意集合，其幂集超限序数理论。第7页，本讲稿共15页素朴集合论的素朴集合论的辉煌辉煌成就成就人类对无限的认识摆脱了单纯的，无穷有了量度，进入崭新的认识阶段 伊夫斯分析和函数论有了严格的数学基

4、础集合论“数学已经取得了完全可靠的基础，已经被算术化，绝对严格已经取得”彭加勒.数学家第二次国际会议集合论成为构建整个数学大厦的基石 第8页，本讲稿共15页集合论悖论集合论悖论 历史的讥讽康托尔悖论（1895）大全集U的幂集基数比U大吗？布拉里弗蒂悖论（1897）有关最大序数和良序的悖论罗素悖论（罗素悖论（19021902）第9页，本讲稿共15页罗素悖论罗素悖论 数学的数学的灾难灾难数学描述：设 z=x xxzz,则z应满足xx，故zzzz,则已经满足了xx，故zz综上，zz，当且仅当，zz第10页，本讲稿共15页罗素悖论的影响罗素悖论的影响 第三次数学危机集合论的悖论，尤其是罗素和策梅罗所发

5、现的一个矛盾，直接在数学界产生灾难性的作用 希尔伯特狄德金放弃了划时代著作什么是数和数的应用的出版弗雷格：我的著作要出版时，发现建筑物的基础塌了拓扑学权威劳威尔宣布自己过去的工作全在说废话 。第11页，本讲稿共15页 集合论，何去何从？理查德、罗素、莱姆塞 “类型分支论”“足够狭窄，不够宽广”策梅罗、米里曼洛夫、冯诺依曼 公理化系统哥德尔关于形式算术的不完全性定理第12页，本讲稿共15页 总之，悖论贯穿了整个集合论的发展，一路走来，无穷悖论也似乎并没有被我们完美的解决，但是使我们足以相信的是：关于集合论悖论及其它逻辑悖论的努力会让我们走的更远，变得更深刻。keep moving第13页，本讲稿共15页康托尔生平康托尔生平对于科学真理孜孜不倦的追求精神生平受到的迫害和质疑自我思维的困扰不幸而伟大的人生第14页，本讲稿共15页 谢谢观赏！第15页，本讲稿共15页