关于实验数学的几个问题——评郝宁湘、匡继昌两教授关于"实验数学"问题的讨论

"实验数学"与"数学实验"既有区别又有联系,不能混为一谈,它们与"数学建模"又是一对不同的概念,"演绎数学"与"实验数学"是随着实验数学的进一步发展而依数学研究方式不同形成的分类,它们之间不可能有严格的区分,更不可能互为对立.     

分析学中几个定理证明的严密性

Zermelo选择公理的提出对近代数学的发展和逻辑的严密性起了很大的推动作用,而且它几乎渗透到每一个数学分支。分析学中一些定理及命题的证明都要以它为依据,例如,它使得下面几个定理的证明成为可能。     

第一类原始递归算术 A_0 甲

本文把文[3]中的规则θ_2~*去掉,从而得到第一类原始逆归算术A~0V_1V_2系统,即系统A_0甲,这里A_0为存在性公理V_1与I_2为唯一性规则(见正文)。     

关于笛沙格定理的附注

笛沙格定理在平面射影几何中必须选作公理,然而一般的高等几何教科书又都用投到无穷远法或解析法对它加以证明,本文从几何基础的角度指出了这种处理的合理性。     

行列式理论的公理定义

本文提出了两种与前人不同的行列式公理化定义,并详细证明其与行列式的直接定义等价性     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。