Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of PROOF

Pronunciation:  proof

 
Matching Terms:  proocutorship, proof spirit, proof theory, proof(p), proof/l, proof-arm, proofed, proofless, proof-proof, proofread, proofreader, proostracum, prootic

Computing Dictionary
 
 Definition: 

1. A finite sequence of well-formed formulas, 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 <latta@xcf.berkeley.edu>. Ported to decstation 3100, sun-4.

E-mail: <proof@xcf.berkeley.edu>. Mailing list: proof-requestf@xcf.berkeley.edu (Subject: add me).

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY