-
1 ♦ (to) prove
♦ (to) prove /pru:v/A v. t.1 provare; mettere alla prova; sperimentare; fare la prova di; verificare: No charge was proved against him, contro di lui non è stata provata alcuna accusa; (mat.) to prove a calculation, fare la prova d'un calcolo; (tipogr.) to prove a type, fare la prova d'un carattere2 dimostrare: to prove one's innocence, dimostrare la propria innocenza; to prove sb. 's guilt, dimostrare la colpevolezza di q.; (mat.) to prove a theorem, dimostrare un teoremaB v. i.dimostrarsi; rivelarsi: The information proved ( to be) false, le informazioni si sono rivelate false● (leg.) to prove by documents, documentare □ to prove gold, saggiare l'oro □ (tecn.) to prove a meter, controllare la taratura di un contatore □ to prove oneself, dimostrarsi; rivelarsi; ( anche) dare prova del proprio valore: He proved himself ( to be) a reliable witness, si è dimostrato un testimone attendibile □ to prove a sum, verificare una somma □ (prov.) The exception proves the rule, l'eccezione conferma la regola. -
2 ♦ (to) prove
♦ (to) prove /pru:v/A v. t.1 provare; mettere alla prova; sperimentare; fare la prova di; verificare: No charge was proved against him, contro di lui non è stata provata alcuna accusa; (mat.) to prove a calculation, fare la prova d'un calcolo; (tipogr.) to prove a type, fare la prova d'un carattere2 dimostrare: to prove one's innocence, dimostrare la propria innocenza; to prove sb. 's guilt, dimostrare la colpevolezza di q.; (mat.) to prove a theorem, dimostrare un teoremaB v. i.dimostrarsi; rivelarsi: The information proved ( to be) false, le informazioni si sono rivelate false● (leg.) to prove by documents, documentare □ to prove gold, saggiare l'oro □ (tecn.) to prove a meter, controllare la taratura di un contatore □ to prove oneself, dimostrarsi; rivelarsi; ( anche) dare prova del proprio valore: He proved himself ( to be) a reliable witness, si è dimostrato un testimone attendibile □ to prove a sum, verificare una somma □ (prov.) The exception proves the rule, l'eccezione conferma la regola.
См. также в других словарях:
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
theorem — theorematic /thee euhr euh mat ik, thear euh /, adj. theorematically, adv. /thee euhr euhm, thear euhm/, n. 1. Math. a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas. 2. a rule… … Universalium
Chevalley-Warning theorem — The Chevalley Warning theorem is a mathematical theorem on solvability of polynomial equations in several variables over a finite field. The theorem was proved by Ewald Warning in 1936. A slightly weaker form of the theorem, known as Chevalley s… … Wikipedia
Bruck–Chowla–Ryser theorem — The Bruck–Chowla–Ryser theorem is a result on the combinatorics of block designs. It states that if a ( v , b , r , k , λ) design exists with v = b (a symmetric design), then: : k − λ is a squarewhen v is even, and the diophantine equation: x 2 − … Wikipedia
Crystallographic restriction theorem — The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2 fold, 3 fold, 4 fold, and 6 fold. However, quasicrystals can occur with other symmetries … Wikipedia
Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… … Wikipedia
Splitting theorem — The splitting theorem is a classical theorem in Riemannian geometry. It states that if a complete Riemannian manifold M with Ricci curvature :{ m Ric} (M) ge 0 has a straight line, i.e., a geodesic gamma; such that :d(gamma(u),gamma(v))=|u v| for … Wikipedia
The Doctrine of Chances — For the rule of evidence in law, see doctrine of chances. Front page of the 1st edition of the “Doctrine of Chances”. The Doctrine of Chances was the first textbook on probability theory, written by 18th century French mathematician Abraham de… … Wikipedia
Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… … Wikipedia
Borel determinacy theorem — In descriptive set theory, the Borel determinacy theorem shows that any Gale Stewart game whose winning set is a Borel set is determined, meaning that one of the two players will have a winning strategy for the game. It was proved by Donald A.… … Wikipedia