“proof”的概念、定义、翻译、参考文献-科学参考

proof

Mathematics

A chain of reasoning, starting from axioms or known results, that leads to a conclusion and satisfies the assumed logical rules of inference.

Chemistry

A measure of the amount of alcohol (ethanol) in drinks. Proof spirit contains 49.28% ethanol by weight (about 57% by volume). Degrees of proof express the percentage of proof spirit present, so 70° proof spirit contains 0.7 × 57% alcohol.

Chemical Engineering

1. A rigorously defined, logical, and complete demonstration of the correctness of a statement, formula, law, or theorem. It involves a set of basic assumptions known as axioms or premises that are used to derive and lead to a conclusion to show that the statement, formula, law, or theorem has been proved.

2. A former measure of the amount of alcohol in whisky defined as the most dilute spirit that would ignite gunpowder: 100 per cent proof corresponds to 57.15 per cent ABV (alcohol by volume).

Computer

Informally, a form of deduction associated with a deductive logic. More formally, when applied to a formal system F, a proof is a sequence of well-formed formulas with each item in the sequence being either an axiom of F or being derived from previous items through the application of an inference rule of F.

Philosophy

Informally, a procedure that brings conviction. More formally, a deductively valid argument starting from true premises, that yields the conclusion. Most formally, in proof theory, a proof is a sequence of formulae of which each member is either an axiom or is derived from a set of preceding members by application of a rule of inference, and which terminates with the proposition proved. The final member of such a sequence is a theorem. In 17th- and 18th-century usage ‘proof’ has the same implications of a chain of intuitive ideas as demonstration.

单词	proof
释义	proof Mathematics A chain of reasoning, starting from axioms or known results, that leads to a conclusion and satisfies the assumed logical rules of inference. Chemistry A measure of the amount of alcohol (ethanol) in drinks. Proof spirit contains 49.28% ethanol by weight (about 57% by volume). Degrees of proof express the percentage of proof spirit present, so 70° proof spirit contains 0.7 × 57% alcohol. Chemical Engineering 1. A rigorously defined, logical, and complete demonstration of the correctness of a statement, formula, law, or theorem. It involves a set of basic assumptions known as axioms or premises that are used to derive and lead to a conclusion to show that the statement, formula, law, or theorem has been proved. 2. A former measure of the amount of alcohol in whisky defined as the most dilute spirit that would ignite gunpowder: 100 per cent proof corresponds to 57.15 per cent ABV (alcohol by volume). Computer Informally, a form of deduction associated with a deductive logic. More formally, when applied to a formal system F, a proof is a sequence of well-formed formulas with each item in the sequence being either an axiom of F or being derived from previous items through the application of an inference rule of F. Philosophy Informally, a procedure that brings conviction. More formally, a deductively valid argument starting from true premises, that yields the conclusion. Most formally, in proof theory, a proof is a sequence of formulae of which each member is either an axiom or is derived from a set of preceding members by application of a rule of inference, and which terminates with the proposition proved. The final member of such a sequence is a theorem. In 17th- and 18th-century usage ‘proof’ has the same implications of a chain of intuitive ideas as demonstration.
随便看	CD-ROM drive CD-ROM format standards CD-ROM library CD-RW CDS CDSA CD spectrum CDTV CDW CE CE-3 Ceauşescu, Nicolae (1918–89) CEC Cecchini Report Cech, Thomas Robert cecidium Cecil, Robert, 1st Earl of Salisbury and 1st Viscount Cranborne (1563–1612) Cecil, William, 1st Baron Burghley (1520–98) cecropin cedar cedent CED protein CEFIC ceiling ceiling price