- proof is obvious
- мат. доказательство очевидно
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Proof spirit — Spirit Spir it, n. [OF. espirit, esperit, F. esprit, L. spiritus, from spirare to breathe, to blow. Cf. {Conspire}, {Expire}, {Esprit}, {Sprite}.] 1. Air set in motion by breathing; breath; hence, sometimes, life itself. [Obs.] All of spirit… … The Collaborative International Dictionary of English
obvious — I (New American Roget s College Thesaurus) adj. manifest, patent, clear, evident, plain; undisguised, unconcealed. See visibility, shallowness. Ant., obscure, hidden. II (Roget s IV) modif. 1. [Clearly apparent to the eye] Syn. clear, visible,… … English dictionary for students
obvious by inspection — adjective That it is evident in the minds eye, without proof being demanded for it … Wiktionary
Invalid proof — In mathematics, there are a variety of spurious proofs of obvious contradictions. Although the proofs are flawed, the errors, usually by design, are comparatively subtle. These fallacies are normally regarded as mere curiosities, but can be used… … Wikipedia
Combinatorial proof — In mathematics, the term combinatorial proof is often used to mean either of two types of proof of an identity in enumerative combinatorics that either states that two sets of combinatorial configurations, depending on one or more parameters,… … Wikipedia
Statistical proof — The term statistical proof has several uses, both technically and colloquially. * Data analysis and statistics mdash; When mathematical statistics is used to provide a mathematical proof of a proposition regarding the probability of data under… … Wikipedia
tamper-proof — UK / US adjective if a container has a tamper proof lid or top, it is obvious if someone has opened the container in the shop … English dictionary
Register allocation — In compiler optimization, register allocation is the process of multiplexing a large number of target program variables onto a small number of CPU registers. The goal is to keep as many operands as possible in registers to maximise the execution… … Wikipedia
manifest incapacity — Obvious incapacity. In reference to a physician, a want of power to comprehend or to act, so obvious that no proof is necessary to establish it other than proof of the act or omission itself. Yoshizawa v Hewitt (CA9 Hawaii) 52 F2d 411, 79 ALR 317 … Ballentine's law dictionary
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium