20XX年康托对角线法问题详析及由此引出的反证法使用中必须注意的.docVIP

康托对角线法问题详析及由此引出的反证法使用中必须注意的误区 西北工业大学前逻辑与人工智能研究所（西安市，710072） 沈卫国 内容摘要：在前期一系列论文的基础上，提出康托对角线法以及区间套法在证明实数集合不可数过程中的明显逻辑问题，其本质是反证法在这个具体的使用案例中出现了以往难以察觉的问题。实数集合的不可数性尽管广为人们所接受，但其造成的问题很多。它使所谓的数学基础变得极其庞杂繁复并充满矛盾。甚至比指望其提供坚实基础的其它数学分支还要复杂混乱，这只能说明该理论本身有问题。本文的实际意义有两个方面，一是数学基础、集合论方面，提出并澄清了一系列的问题，有助于它们的健康发展；二是逻辑学方面，提示人们反证法使用中的误区，提醒人们对任何逻辑、数学结论、证明，都应该采取更为严格、慎重的态度，甚至可以直接将本文揭示出的问题作为典型案例纳入教学中。矚慫润厲钐瘗睞枥庑赖賃軔朧碍鳝绢懣硯涛镕頃赎巯驂雞虯从躜鞯烧论雛办罴噓剥淚軔琿閔馐虯圓绅锾潴苏琺锅苁。 关键词：康托对角线法；区间套法；实数；无理数；有理数；可数；不可数；反证法 一、康托对角线法以及区间套法并没有证明实数集合不可数的一个简单证明 笔者的一系列文章早已证明康托对角线法并没有证明实数集合不可数。这里给出一个更加简单、明确的证明。此证明的基本思想在以往笔者论文中也有涉及。此处更加强调一下