说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把"自指代命题"从"自指命题"中区分出来,指出前者违反同一律,作代换还可能违反矛盾律,主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准,它的证法采用了双重标准,是错误的。哥德尔定理的结论中的"不可判定"命题,现在有3种不同的错误解释:是非不可分辨的命题(三值)、是非可分辨(二值)但不确定的命题、是非都不可证的任意命题,它们都不是哥德尔的证法所支持的结论。还指出它不会导致"真理丧失说"和"数学丧失了确定性",但还应充分肯定哥德尔的历史功绩。     

也谈正确理解哥德尔不完全性定理——与陈慕泽先生商榷

就陈慕泽先生对《禁止使用自指代命题》关于哥德尔不完全性定理的质疑提出的批驳做出回应。认为陈先生回避要害,无视作者对哥德尔证明中双重标准之矛盾的分析和揭露,其批驳存在自相矛盾、循环论证和转移辩题的问题。还专门采用陈先生的符号,对哥德尔定理结论1和2的证明进行分析和批判,再次解释哥德尔定理的结论可以完全正确,但应该理解成:哥德尔所构造的不可判定公式违反逻辑,必须禁止在无矛盾的形式系统中使用。同时,还分析了现有主流学派对哥德尔定理结论的种种误解,提出重建逻辑学公理系统的主张。     

灰色方阵奇异性的判定问题

本文给出了灰色方阵的恒满秩、恒降秩和奇异性不可判定三个概念,并在此意义下建立了灰色方阵奇异性问题的三个判别定理.     

实数的连续性(续)

二、用实数连续性的九个命题中的任意一个命题证明其他八个命题 (六) 用确界定理证明实数连续性的其他八个命题 怎样用确界定理呢?证明某命题需要找到一个具有某种性质P的数ξ,先构造一个非空有上(下)界的数集E,使E中每个数都具有与P相适应的性质P~(?),由确界定理,便得唯一一个具有性质P的数ξ=SupE(ξ=infE)。     

关于李雅普诺夫第二方法的几个定理

本文把在他所著“运动稳定性”中提到过的一个关于渐近稳定的命题用文的方法加以推广(定理1),同时指出原来的命题和我们推广的命题都可推至全局渐近稳定的情形(定理2,定理3)。     

群作用下的Khintchine回归定理

利用积分论得出保测变换的一个基本性质及庞加莱回归定理的一个等价命题,建立概率保测系统概念,并推广了Khintchine回归定理,利用一般的Khintchine回归定理得到了回归集的一些性质。     

一个整数整除性定理的推广

本文给出了一个整数整除性定理的推广,在推广的定理下,可以使整除性的某些命题更方便解决.     

关于牛顿线的定理及其推论

给出了关于完全四线形的牛顿线的一个新定理 ,并用该定理直接证明了射影几何中一类共点、共线命题 .     

关于Newton迭代法收敛性定理的一个注记

文章分析了通常Newton迭代法收敛性定理的缺陷,并给出了一个新的命题(见文章第二部分),比通常的定理条件弱,适应性强,文中用实例加以验证。     

T.Figiel定理及其应用

等距延拓问题是几何和泛函分析领域的重要课题。在Mazur-Ulam定理基础上,给出了T.Figiel定理的一个等价命题以及它在等距逼近问题中的应用。     

基于二项式定理应用的探究

二项式定理是初等数学中的一个重要定理，其形成过程是组合知识的应用，同时也是进一步学习概率统计的准备知识，在高等数学中更是许多重要公式的共同基础。从一个新的角度审视二项式定理，给出数环中一类数的n次幂计算的递推公式。同时利用二项式定理的推广形式——多项式定理，得到初等数论中费尔马小定理的一个新证明。     

平面上Clifford定理的一般证明

Clifford定理作为几何学的一个最基本定理有着广泛的应用,读者通过该定理可以从整体上提高对几何学的认识。学习Clifford定理须从其证明入手,然而,目前很难找到一个通俗且完整的证明。文章利用实交比值引理给出了平面上Clifford定理的一般证明,这一方法对任意n条一般直线都适用。     

从分解定理看模糊数学中的辩证思想

分解定理是模糊数学中模糊集三大基本定理(分解定理、表现定理和扩展原理)之一,也是模糊数学教学的一个难点.讨论了截集与分解定理的辨证关系并给出了直观解释.     

向量函数隐函数定理之新证明

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.     

数学建模思想在公共数学教学中的应用

从公共数学中的概念原理、定理公式和应用问题等教学内容中提出了渗透数学建模思想方法的一些见解.     

迈向数学机械化:从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.     

与正算子有关的几个问题

主要研究正算子的关于范数的问题,我们运用数学归纳法来给出证明,并将此性质推广到任意的有界线性算子.另外,我们给出一个定理的一种不同的证明.     

二项式定理及其应用

结合高考试题中有关二项式定理的题例，简要综述了中学数学中有关涉及二项式定理的基本题型．     

导数知识在不等式证明中的应用

导数知识是“高等数学”中极其重要的部分，它的内容、思想和应用贯穿于整个高等数学的教学之中。微分中值定理和导数应用是导数知识中的重要内容，它们在不等式证明中有着广泛的运用。     

渗透在中值定理中的数学思想

本文通过微分中值定理的提出、证明及其拓广,阐述了数学的特殊与一般的相对性、边界值与内部值之间的联系,以及数与形的结合与转化的数学思想。