1874年(论文发表) / 欧洲

康托尔证明无穷集合可以有不同大小

康托尔证明实代数数可以逐一列举,而任何实数区间都不能如此列完,为研究无穷集合打开新方向。

四层逐步缩小的区间、被排除的点与区间内的示意点
现代科学示意图现代教学示意:逐步缩小的区间避开列表中依次选取的点,用来说明康托尔1874年论证涉及的嵌套区间思想。图中有限步骤不构成完整证明,也不是后来对角线论证的原图。文明图志 · 文明图志(原创科学解释图) · CC0 1.0 Universal 图片来源与授权

科学史故事

1874年的论文把实代数数的可数性与实数的不可数性放在一起,从而也得到超越数存在的结论。相关证明在1873年与戴德金的通信中已经形成。常见的对角线论证是1891年的后来工作,不能画进这篇早期论文;集合论的公理化和悖论讨论也属于后续发展。

联系与背景

比较无穷不再只靠直觉,而可以依靠对应和证明。集合语言后来贯穿数学基础,也帮助说明计算能够处理哪些对象。

年代与日期精度

1874年(论文发表) 明确节点

按资料明确记载的年、月或日定位;未详的月日不作推定。

地图代表点

哈勒

标记康托尔任教和研究的哈勒;与戴德金的通信是这一过程的重要部分。

代表点坐标 · 51.4825°, 11.9705°

代表点可指一份手稿的收藏地、实验室或观测地点,不表示研究只在此发生,也不把共同发现单独归于某一国家。

资料依据

  • 新乡学院数学与统计学院:寻找数学的基础——集合论的创立(一)

资料以书目标题展示,不提供外部跳转。参考资料可能支持个别事实或相关背景,列出来源并不等于每一句解释已经逐句核实。

有想法,告诉我们