And the modern emphasis on formal proofs owes a great deal to his rigorous methods.
现代对形式证明的重视在很大程度上归功于他严谨的方法。
| 单词 | Formal proof |
| 释义 |
Formal proof
原声例句
TED-Ed（视频版） And the modern emphasis on formal proofs owes a great deal to his rigorous methods. 现代对形式证明的重视在很大程度上归功于他严谨的方法。
英语百科
Formal proofA formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of natural deduction is a generalization of the concept of proof. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。