数学联邦政治世界观
超小超大

SEP丨集合论:早期发展 (11-7)

康托尔认为他可以通过区分“一致多重性”或集合和“不一致多重性”来解决悖论问题。但是,在缺乏明确区分标准的情况下,这只是对问题的口头回答。意识到他的新想法存在缺陷,康托尔从未发表他一直在准备的最后一篇论文,在那篇论文中,他计划讨论悖论和良序问题(我们很清楚这篇未发表论文的内容,因为康托尔在与戴德金和希尔伯特的通信中讨论过;参见1932年给戴德金的信,Cantor或Ewald 1996: vol. 2)。康托尔提出了一个依赖于“Burali-Forti”序数悖论的论证,并旨在证明每个集合都可以良序。这个论证后来被英国数学家P.E.B. Jourdain重新发现,但因为它涉及“不一致多重性”(康托尔在上述信件中的术语),所以受到批评。

康托尔的悖论使希尔伯特和戴德金确信,关于集合论基础存在重要的疑问。希尔伯特提出了他自己的悖论(Peckhaus & Kahle 2002),并与哥廷根圈内的数学家讨论了这个问题。因此,恩斯特·策梅洛发现了“所有不属于自身的集合”的“集合”的悖论(Rang & Thomas 1981)。这也是伯特兰·罗素独立发现的,他是通过仔细研究康托尔定理得出的,这与罗素相信普遍集合的观念存在深刻冲突。一段时间后,在1902年6月,他将这个“矛盾”通报给了正在完成自己的算术逻辑基础的戈特洛布·弗雷格,通过一封著名的信[van Heijenoort 1967, 124]。弗雷格的反应非常清楚地表明了这个矛盾对逻辑主义计划的深远影响。“我能总是谈论一个类,一个概念的扩展吗?如果不能,我如何知道例外?”面对这个问题,“我看不出数学如何能被赋予科学基础,如何将数字视为逻辑对象”(弗雷格 1903: 253)。

弗雷格的《基本法则》第二卷的出版(1903年),尤其是罗素的《数学原理》(1903年)的工作,使数学界充分意识到集合论悖论的存在,以及它们的影响和重要性。有证据表明,直到那时,即使是希尔伯特和策梅洛也没有完全意识到损害的程度。值得注意的是,罗素-策梅洛悖论涉及非常基本的概念——否定和集合成员资格——这些概念广泛被视为纯逻辑的。根据理解原则(允许任何开放句子确定一个类),集合R={x:x ∉ x} 存在,但如果是这样, R ∈ R 当且仅当 R ∉ R 。这直接与弗雷格和罗素所青睐的原则相矛盾。

显然需要澄清集合论的基础,但总体情况并不使这项任务变得容易。不同的竞争观点差异很大。康托尔对集合论有一种形而上学的理解,尽管他对该领域有着最敏锐的观察,但他无法提供一个精确的基础。对他来说很清楚(正如恩斯特·施勒德在他的《逻辑代数讲义》,1891年,有点神秘地),必须拒绝弗雷格和戴德金所青睐的通用集合的想法。弗雷格和罗素基于理解原则,这被证明是矛盾的。戴德金避免了那个原则,但他假设绝对宇宙是一个集合,一个“事物”,在他的技术意义上是Gedankending;并且他将这个假设与任意子集的全面接受结合起来。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

海的尾声 连载中
海的尾声
融铸
女主是人鱼,男主是人类,两人是青梅竹马,男主因为一次意外瞎了眼,男女主慢慢对女主产生感情,可他们终究不能在一起,不仅来自父母的压力,也是因为......
0.1万字9个月前
无衣之女 连载中
无衣之女
你的杨莲亭
一个现代的年轻女子在虚幻之塔如何自处要经历什么样的俗事才会发现这一切真相只是希望当我记起来的时候你们仍旧都在我也从未离开谁在等你出塔等得忘记......
26.7万字8个月前
一见顷馨 连载中
一见顷馨
西門若琦
守护你,我的救赎……新手写文欢迎指点,谢绝指指点点。
7.4万字8个月前
无心挣扎 连载中
无心挣扎
千叶繁术
瘫痪文。勿
4.2万字8个月前
你是救赎我的微光 连载中
你是救赎我的微光
常青枝丫
【美艳女王✘高冷国师】曾经以为林深时见鹿,海蓝时见鲸,梦醒时可见你。后来才发现,林深时雾起,不知归处;海蓝时浪涌,望而却步;梦醒时夜续,惊慌......
18.1万字8个月前
百鸟承欢意 连载中
百鸟承欢意
佩兹Pez
又名《我的工作是挡灾》某天,少女在夜跑时,突然得到了一个神秘的纹身,还被迫加入一个神秘组织。组织的老大对她说:“不干就得凉凉。”于是,少女开......
18.3万字8个月前