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

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),接着再看更方便。

相关小说

天天暴富APP 连载中
天天暴富APP
奈斯木拉
(已签约+万华镜文社)暴富第一天,到账500万。暴富第二天,到账魔方手表一枚。暴富第三天,到账海城别墅一套。暴富第四天,到账无限额卡一张。…......
42.3万字9个月前
小草的奇妙历险记 连载中
小草的奇妙历险记
阿海的咪
【无男主】【无系统】作为一株长错地方的小草,被仙人怜悯获得新生的能力,到底是偶然还是必然?从懵懂无知的小草成为德善体智美平衡发展的人类经历着......
0.3万字9个月前
那些动人的小说语录 连载中
那些动人的小说语录
季风未晚
我生于长空,长于烈日;我翱翔于风,从未远去;亲爱的姑娘,请不要为我哭泣。——宋声声
10.4万字9个月前
快穿:记忆储藏馆 连载中
快穿:记忆储藏馆
羽若千珏
(注意!!!已弃坑,谨慎避雷!!!)一次诡异的“自杀”景洛算是见到了各种奇葩,黑白无常不算什么,至于那个记忆储藏馆馆长,真的是很诡异。她答应......
11.6万字9个月前
小说男女主设定资料 连载中
小说男女主设定资料
悒纪
小说男女主的设定,可以拿来用
2.5万字9个月前
恐怖躲猫猫:此夜平安 连载中
恐怖躲猫猫:此夜平安
鹅饼饼子
久别重逢后,我们之间的隔膜还可以消退吗……再次会面时,我可以相信你还是以前的你吗……你也在用世俗的眼光看待我吗……答应我,不要摒弃我,不要对......
8.7万字9个月前