| 单词 | existence proof |
| 释义 | > as lemmasexistence proof existence proof n. [perhaps after German Existenzbeweis (1872 or earlier in this sense)] Mathematics a proof establishing the existence of a mathematical entity.An existence proof can be constructive, in which case the existence of the entity in question is explicitly demonstrated, or non-constructive, in which case its existence is inferred as a consequence of other mathematical statements which are known to be true. ΚΠ 1893 Q. Cal. (Univ. Chicago) Aug. 21/1 An Existence–Proof of the Group of Order 168 as a Group of Substitutions on 7 letters. 1955 Acta Mathematica 94 242 This is the first existence proof for differential operators with non-analytic coefficients which are not of a special type. 2012 S. M. Belcastro Discrete Math. with Ducks v. 124 These were non-constructive existence proofs because they showed that items existed while not producing any examples of the desired items. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。