English Dictionary
◊ PROOF
proof
adj : (used in combination or as a suffix) able to withstand;
"temptation-proof"; "childproof locks" [syn: {proof(p)}]
n 1: any factual evidence that helps to establish the truth of
something; "if you have any proof for what you say, now
is the time to produce it" [syn: {cogent evidence}]
2: (logic or mathematics) a formal series of statements showing
that if one thing is true something else necessarily
follows from it
3: a measure of alcoholic strength expressed as an integer
twice the percentage of alcohol present (by volume)
4: (printing) a trial impression made to check for errors [syn:
{test copy}]
5: a trial print from a negative
6: the act of finding or testing the truth of something [syn: {validation},
{validating}, {proving}]
v 1: make or take a proof of, such as a photographic negative, an
etching, or typeset
2: read for errors [syn: {proofread}]
3: activate by mixing with water and sometimes sugar or milk;
"proof yeast"
4: make resistant, as to water, sound, errors, etc.
English Computing Dictionary
◊ PROOF
proof
1. A {finite} sequence of {well-formed formula}s, F1,
F2, ... Fn, where each Fi either is an {axiom}, or follows by
some rule of inference from some of the previous F's, and Fn
is the statement being proved.
See also {proof theory}.
2. A left-associative {natural language} {parser} by Craig
R. Latta . Ported to {Decstation
3100}, {Sun-4}.
{(ftp://scam.berkeley.edu/pub/src/local/proof/)}
E-mail: . Mailing list:
proof-requestf◊xcf.berkeley.edu (Subject: add me).
(1994-11-29)