可数集合的无穷观问题.pdfVIP

羹篓羹蘩勰瓣豢瓣囊 可数集合的无穷观问题囊 ◆朱梧横 肖奚安 宋方敏 宫宁生 久远以来普遍认为，近代公理集合论的建立和发 多领域。卷入这场争论的大学者们留给我们一大堆有 展，已经给出了罗素悖论的解释方法；另一方面，虽然 关两种无穷的素朴描述，通过这些素朴的描述，可将潜 至今未能在理论上证明．近代公理集合论今后一定不 无限和实无限的差别规范为如下两点： 出新的悖论，但将近一个世纪以来，人们确也未曾发现 其一，从生成的角度看，潜无限永远是现在进行式 有什么新的悖论在近代公理集合论中出现。然而，当 我们在兼容两种无穷观的思维方式下重新分析问题 度看．潜无限是动态的和潜在的，而实无限是静态的和 时。竟然发现在近代公理集合论中广为使用的种种可 实在的。 数无穷集合(以下简称为可数集合)都是些似是而非的 从而．潜无限的两条基本性质是：①非有限，从而 非集。 在进行式，从而否定了达到实无限的可能性(非gone 关于潜无限与实无限概念的简要介绍 即going)。又实无限的两条基本性质是：①非有限，从 本节对潜无限与实无限概念作一简要介绍，有关两 种无穷观的产生和发展，请参阅文献f11中的相关内容。 式，从而肯定了达到实无限(gone)。 历史上，亚里士多德是第一个明确承认潜无限而 例如，人们常用[。，6]表示坐标轴上的一个闭区间， 反对实无限的学者，而略早于亚里士多德的柏拉图，则 在k，61内有无穷多个点，现令变量戈在该区间内沿着 是第一个明确承认实无限而反对潜无限的学者。自古 x轴朝向6点移动，则变量戈在区间内不仅可以无限 至今2000余年来，坚持潜无限观念的学者和坚持实无 限观念的学者一直是在互相否定的模式中争论不休， 并且广泛涉及哲学、逻辑、计算机科学理论和数学等众 式趋向其极限点6。人们又常用(口，6)来表示坐标轴上 的一个开区间，在(。，6)内有无穷多个点，但端点n和 朝向6点移动，尽管6点仍是变量戈的极限点，却不在 朱梧桢：教授，南京大学计算机软件新技术国家重点实验室，南京 210093：南京航空航天大学计算机科学研究所．南京210016。 (o，6)内，所以变量戈在该区问内虽仍可无限趋近于6 肖奚安：教授，中国人民解放军理工大学理学院，南京210016。 宋方敏：教授，南京大学计算机软件新技术国家重点实验室，南京 210093。 宫宁生：副教授．南京工业大学信息科学与工程学院，南京210009。极限点6。 Tech- zhu forNovelSoftware Wujia：Pmfessor，StateKeyLaboratory 又例如．在数学领域中，通常用符号D。来表示不 at ScienceInstitute nology University，Nanjing210093；Computer Nanjing 在实平面上的一个无穷远点，而变量z无限趋近该无 of ofAeronauticsand 210016． Nanjinguniversity Astmnautics，Nanjing Xiao ofScience，PLA ofScience穷远点O。。则上述潜无限的两条基本性质在此体现 Xi’an：Professor，CollegeUniversity aIld 210016． Technolo盯，Naniing