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.
本文介绍了柯西中值定理的多种证明方法及其应用。
As its application, we give a new proof of the existence theorem of prime models.
作为其应用，我们给出了素模型存在定理的另一种证明。
On the other hand, we give a different proof of a theorem.
另外，我们给出一个定理的一种不同的证明。
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.
在这篇论文中，定理“任意两个具有相同有限个原子的可数无穷布尔代数是同构的”的一个证明被给出。
In this paper a new proof of Tehebyeheff theorem in several variables has been given.
在这篇文章中我们给出了多元逼近的定理一个新的证明。
The proof of the theorem is elementary.
完成了该定理的初等证明。
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.
然而，或许，他的最伟大的成就在于首先证明费马大定理—一项依然等待获得广泛承认的成就。
A direct proof of the theorem is given in this paper.
本文给出了该定理的一个直接证明。
应用推荐