一个定理的不恰当证明方法辨析

本文分析了Kolmogorov不等式的一个推论的证明过程,指出了证明过程中存在的问题,并通过实例分析了这种证明方法中的错误之处,进而给出了正确的证明过程。     

司法证明过程的性质——司法证明标准的制度性替代

司法证明标准的确定必须考虑司法证明过程的特殊性质,惟有在此基础上建构的司法证明标准才有可能是恰当的。不考虑司法证明过程的特殊性质而直接借用它种证明的证明标准建构或充当司法证明的证明标准都值得商榷。运用逻辑语言分析的方法,分析了司法证明过程的特殊性质,讨论了其它司法证明标准存在的困难,提出了建构司法证明标准的一般框架。     

一种新颖的第二类Stirling数公式证明

现有的Stirling数公式证明过程繁杂且难以掌握,文中根据满射函数定义和排列组合基础理论,结合逐步淘汰原理给出了第二类Stirling数公式的一个既简单又易接受的证明过程。该证明过程不仅给出了第二类Stirling数公式的来源,而且从满射函数特性方面回答了其正确性。     

庞加莱猜想证明过程的哲学分析

1904年由法国数学家庞加莱提出的庞加莱猜想，在最近几年终于获得了破解。在长达一百年的证明过程中，清楚地体现了创立科学理论的一般思维过程。本文回顾了证明庞加莱猜想的总过程，并利用创立科学理论的思维过程的理论予以分析说明，从而达到对庞加莱猜想证明过程进行哲学分析的目的。     

定理机器证明思想的产生与发展

 一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

耦合复Ginzburg-Landau方程组的拉回吸引子

以耦合复金兹堡–朗道(Ginzburg-Landau)方程系统为模型,研究了在周期边界条件下和初始条件下它的拉回吸引子的存在性。主要采用能量方程方法来进行证明:首先证明在W中存在一个闭过程且有界,从而证明该闭过程存在一个拉回吸收集;其次,当满足初值有界条件时,证明该闭过程满足拉回条件C,因此证实了该Ginzburg-Landau方程组存在拉回吸引子。     

最大最小值定理的证明──对华东师大编《数学分析》教材中证明的商榷

本文指出文献［１］中有关用区间套定理证明闭区间上连续函数的最大最小值定理证明的欠妥之处，并对证明过程进行了修正。     

高次交错群不可解性的一个证明

给出了一个关于高次交错群A_n不可解性的新的证明.此证明过程比其是单群的证明更容易理解.     

蛛网定理的一般性证明

本文对经济学中的蛛网定理作了深入的证明，其证明过程用到了数学上的极限概念和单调有界定理。     

证明热力学能是状态函数的新方法

对热力学能是状态函数的证明过程中所存在的问题进行了讨论,并提出了证明热力学能是状态函数的新方法.     

一般形式的连续时间拟生灭过程各种遍历性判定准则及其应用

讨论了一般形式连续时间拟生灭过程各种遍历性，并给出连续时间拟生灭过程的指数遍历多项式遍历的一个新证明，该证明给出了具有某些特殊条件下连续时间拟生灭过程遍历性与离散时间拟生灭过程遍历性的之间关系。     

用坐标轴法证明矢量公式

本文介绍了矢量坐标轴法,并将矢量坐标轴法与分量证明法相结合,运用于矢量公式的证明,使证明过程大为简化,我们用于物理教学中收到较好的效果。     

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。     

二元函数极值存在定理证法的改进

本文给出了二元函数极值存在定理两种改进的证明方法，使证明过程得以简化。     

关于P.Katchang论文中的一个注记

指出了P.Katchang等人的论文[Strong convergence theorems for solving generalized mixed equilibrium problems and general system of variational inequalities by the hybrid method,Nonlinear Analysis：Hybrid Systems,2010,4：838-852]在主要收敛性定理的证明过程中使用了两个不正确的不等式,因而导致证明过程不严谨。本文给出了该定理的一个正确证明。     

随机过程性质的应用

应用二维 Ｂｒｏｗ ｎ 运动的常返性质、 Ｍａｒｋｏｖ 过程及二维连续局部鞅的一些性质，通过随机分析的方法，对著名的古典问题给出了一个新的证明，证明过程体现了随机分析方法的优越特点．     

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中,教材一般都是利用逆否命题的证明方法来加以证明,本文则是采用直接的证明方法对定理进行严格的证明。     

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中，教材一般都是利用逆否命题的证明方法来加以证明，本文则是采用直接的证明方法埘定理进行严格的证明。     

σ(f)可测函数判定定理的证明

根据可测函数的定义及其相关性质的证明,给出了关于判定σ(f)可测函数的相关定理的详细证明过程。