在数学上，证明是在一个特定的公理系统中，根据一定的规则或标准，由公理和定理推导出某些命题的过程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。这样推导出来的命题也叫做该系统中的定理。 数学证明建立在逻辑之上，但通常会包含自然语言，因此可能会产生一些模棱两可的部分。实际上，若证明的大部分内容用文字形式的数学写成，可以视为非形式逻辑的应用。在证明论的范畴内，只考虑用纯形式化的语言写出的证明。这个区别导致了对过往到现在的数学实践、数学上的拟经验论和民间数学（或称大众数学）的大部分检验。数学哲学就关注语言和逻辑在数学证明中的角色，和作为语言的数学。
网络释义专业释义
... mathematical induction 数学归纳法 mathematical justification 数学证明 mathematical logic 数理逻辑 ...
基于40个网页-相关网页
-
mathematical proof - 引用次数：3
There are lots of researches on Mei Wending's mathematical achievements. Although much researches interfere in his mathematical proof, which has not been regarded as special research object.
关于梅文鼎的数学成就已有大量的研究结果，对于他的数学证明虽也多有涉及，但是未被作为专门的研究对象。
参考来源 - 论梅文鼎的数学证明 -
mathematic proof - 引用次数：2 参考来源 - 基于能量耗散原理的土与结构接触面模型研究及应用
-
mathematical justification
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
演绎推理和非演绎推理经常被运用到数学证明中。
Deductive inference and non - deductive inference are often used in mathematical proof.
-
困难的数学证明需要天才的解答，而且它往往是令人着迷的。
In math, difficult proofs require ingenious solutions, and those tend to be interesting.
-
格雷厄姆系数是一个在严谨的数学证明中被用到的最大的数值。
Graham's number is the largest number that has been used in a serious mathematical proof.
-
We prove things in mathematics that have never been proven before or we find new ways to prove these theorems or what have you and we can be creative.
我们用数学去证明从未被证明过的事物,我们探寻新的方法去证明那些定理,或其他诸如此类,总之,我们具有创造力
-
He had the idea but he didn't have the math.
他已了解其中概念,但没有数学工具加以证明
-
There are mathematical theorem-proving programs.
有些程序可以证明数学定理
应用推荐
$firstVoiceSent
- 来自原声例句