Furthermore, it presents a creditability problem about theorem proof in propositional logic.
也引申出命题逻辑定理证明的一个可信性问题。
In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.
本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
In mathematics, once the proof of a theorem is published, there is no need for any authority to certify that the theorem is true.
在数学里，一旦一个定理的证明被公布了，就不需要一个权利机构去认证这个定理是成立的。
Although there have been some new developments in mathematics, such as the proof of the famous four-color theorem, 1 the basic material has remained unchanged.
虽然在数学领域也有一些新的进展，例如对著名的四色定理的证明，1但是基本的材料却保持不变。
Pierre DE Fermat had proposed the theorem in 1637, and a proof had only recently been discovered when the episode aired.
皮埃尔。德。费马在1637年发现这个定理，但证明可是在这集动画片播出前不久才刚刚公布的。
Publishing the source code of a program is the equivalent of publishing the proof of a theorem.
公布一个程序的源代码与公布一个定理的证明是一样的。
It is true, and the proof comes as an application of a fixed point theorem which I discussed a year ago.
这是真的，证据来自不动点原理的一种运用，一年前我曾探讨过它。
And we will see the proof and everything and applications on Tuesday, but I want to at least the theorem and see how it works in one example.
我们将会在周二学习它的证明、应用等等，但是我还是想说一下定理和一个应用的例子。
It seems that the proof of Pythagoras's theorem comes pretty much from just consulting the ideas of Euclidean triangle, the exhume of Euclidean geometry and simply doing inferences from those.
看起来毕达哥拉斯的定理，似乎来自于欧几里德的三角形理论，从欧几里德几何学的发现中可以简单地推理出来。
So, that's the end of the proof. OK, so you see, the idea is really the same as for Green's theorem.
这就是最终的证明了，证明的思路和证明格林定理的是一样的。
All I have to do is apply my mind. - There's no theorem, no proof.
我所需要做的只是使用我的大脑。-这没有定律，也没有证明。
Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
This paper introduces the proof and application of Cauchy mean-value theorem from many angles in every aspect.
本文介绍了柯西中值定理的多种证明方法及其应用。
Understand Euclid's proof of the Pythagorean Theorem.
理解欧几里得对毕德哥拉斯定理的证明。
Finally, intuitionistic fuzzy relations are investigated with the proof of a theorem on intuitionistic fuzzy similar matrix.
最后，研究了直觉模糊相似关系，证明了直觉模糊相似矩阵的一个定理。
This paper gives a simple proof of the first mid -value theorem of Integral.
本文就积分第一中值定理给出了一个简单的证明。
The paper will review historically the difficult course of the proof of Fermat's Great Theorem.
文中就费马大定理证明的艰难历程作一历史性的评述。
Even if admit this view, in the western countries the time of first proof of the Pythagoras theorem is not probably early than epoch ago 585 year.
即使承认这一看法，西方最早给出勾股定理证明的时间也不会早于公元前585年，即相传毕达哥拉斯出生的那一年。
Gives more general results on the gradualness of the median point of Lagranges median theorem and first median theorem for integrals and its succinct proof.
给出了拉格朗日微分中值定理和第一积分中值定理中值点的渐进性的更一般性的结果及其简洁证明。
In this paper, a proof of the theorem on "Any two denumerable Boolean algebras with atoms of the same finite number are isomorphic" is given.
在这篇论文中，定理“任意两个具有相同有限个原子的可数无穷布尔代数是同构的”的一个证明被给出。
Context: Euclid's proof of the Pythagorean theorem made use of the previous proven theorem known as Proposition 41.
上下文：欧几里得关于毕德哥拉斯定理的证明利用了前已证明的命题41。
This paper gives a proof of a comparison theorem on the viscosity solution of HJB Equation.
证明了与随机控制问题有关的动态规划方程粘性解的比较定理。
A proof based on the fundamental theorem has no counterpart for functions of several variables.
根据基本定理的证明对于多元函数就没有相似的东西。
However, probably, his greatest achievement lies in proof of Fermat's last theorem - something still to receive wide recognition.
然而，或许，他的最伟大的成就在于首先证明费马大定理—一项依然等待获得广泛承认的成就。
The proof which is due to Glazer, is at least as beautiful as the theorem and it is considerably more surprising.
格雷泽所给出的这个证明至少与定理本身一样绝妙，而且使人更加惊奇。
The second proof of Theorem 26 is due to James.
定理26的第二个证明属于詹姆斯。
In this paper, an improved suggestion is made of proof way and process of fundamental theorem of linear programming.
本文就线性规划基本定理的证明方法及过程提出一点修改意见。
In this paper, we use the theory of symmetric bilinear function to solve problems of quadratic form, and finally give a proof of the inertia theorem.
通过建立二次型与对称双线性函数之间的对应关系，在双线性函数的概念下讨论二次型化标准型的问题，最后给出惯性定理的一个证明。
This paper gives a proof about the fundamental theorem(and the inverse theorem)on the affine groups of motions in the affinely connected spaces.
本文给出仿射联络空间中仿射运动群的基本定理的一种证明；
应用推荐