康托实数集合不可数证明中的四种错误探析

从逻辑、无穷观、极限论和证明的思路及具体的操作过程,分析了新发现的康托在实数集合不可数证明中所存在的四种错误,得到＂由于与现有经典无穷理论体系、经典极限论和经典数量体系密切相关的数学基础理论中所存在的缺陷,康托在这类证明中无法回避这四种很严重但却很隐蔽的错误＂的明确结论.特别是其中的逻辑错误使这样的证明无意中成了一种典型的数学魔术.     

实数集连续性定理的证明

直接证明单调有界数列必收敛定理与其它实数连续性定理的等价性。     

Rolle定理的一种新证明

用闭区间套定理给出Rolle定理的一个新证明。     

康托对角线法真的证明实数不可数了吗？

首先揭示，康托对角线法的使用存在一个隐含前提。如改变前提，是可以得到连续统与自然数集合间的一个一一对应的。这一结论，与传统看法明显不同，而由此，连续统假设的相对独立性将是必然的，从而为这一问题的澄清提供了依据。     

无理数集与实数集的一一对应解析式

本文讨论了上的全体无理数所成集合与之间的一一对应解析式,由此得到有关无穷集合的一些结论;并利用结论讨论了全体无理数集合与实数集合的一一对应解析式。     

一种集合分层及其哲学意蕴

该文从简到繁讨论了各种类型的集合论及支持它们的数学和哲学理论。拓展了贝奈斯和王浩的工作,在数学和哲学角度建立了集合分层理论,解除各类型集合论间的对立,使它们相互补充,从而使它们在数学和哲学上达到一致成为可能。     

积分中值定理的构造性证明

利用闭区间套定理证明定积分中值定理，并利用定积分中值定理证明二重积分中值定理．     

关于"可数个可数集之并是可数集"命题的几种证明

主要讨论了《实变函数论》中定理：“可数个可数集之并是可数集”的多种证明。     

集合相等的另一证明法

在集合理论中,证明两个集合相等是一个重要的内容,也是实际应用中经常遇到的一个问题。它繁琐的叙述以及抽象的思维想象,往往让人感到头疼,但应用命题逻辑中的一种构造真值表的方法,来构造集合成员表,应用二进制下的逻辑运算,可有效地解决这个问题。     

拉格朗日中值定理的新证明

本文给出拉格朗日定理的一种新的证明方法以及与拉格朗日定理相关的问题：对于y=f(x)，x∈(α，b)，是否对任意的ζ∈(α，b)都存在x1,x2∈(α，b)，使f′(ζ)=f(x2)-f(x1)/x2-x1？本文讨论并证明了ζ为凸性点时，上述x1,x2存在。     

Stirling 公式的一种证明

介绍了Stirling公式,并试图用阶的估计、Taylor公式及幂级数知识给出Stirling公式的一种证明.     

拉格朗日中值定理的另一种证明

格朗日中值定理是微分学中的一个重要定理,其证明方法有多种,但主要是通过构造函数进行的。文章提供了一种新的不通过构造函数进行证明的方法:借助于图形直观,构造一系列闭区间,利用区间套定理和文章提出的引理进行证明。     

论实数集(连续统)的可数性及其相关问题

在前期研究[2][3][4]的基础上,进一步讨论了康托对角线法及实数集的可数性问题,并给出了一个证明。同时对区间套法,康托定理,哥德尔定理,选择公理等与之密切相关的一些问题,作了深入讨论并得出创新性结论。     

康托关于实数集合不可数的证明和康托定理S^=〈P（S）^=的证明是错误的

分析了康托的实数集合不可数证明及康托定理(S=)<(P(S)=)证明与罗素悖论之间的本质性联系,发现它们与罗素悖论有完全相同的思路,但是康托犯了两个逻辑性错误而使他这两个证明成了罗素悖论的两种翻版.得到明确的结论:康托这两个证明中的思路与做法是错误的.     

广义中值定理的又一种证法

应用闭区间连续函数性质和实数连续性定理 ,给出证明广义中值定理的一个新思路 .     

Lagrange中值定理的一个证明

在一般分析教程中，Lagrange和Cauchy中值定理都是通过作辅助函数利用Rolle定理来证明的， 通过推导，给出Lagrange中值定理的另一个证法。     

实数集可数定理

用无限多个反例否定了康托尔的对角线法和实数集不可数定理;用完全初等的等差数列法和基数减少法证明了实数集可数定理.     

拉格朗日中值定理的一个新证明

本文给出了拉格朗日中值定理的一个新证明,它不同于高校数学专业广泛使用的数学分析教材的证明。