VDict - Definition of proof

Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )

proof

Jump to user comments

1. logic 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 Decstation3100, Sun-4.

.

E-mail: proof@xcf.berkeley.edu. Mailing list:

proof-requestf@xcf.berkeley.edu (Subject: add me).

(1994-11-29)

Related search result for "proof"

Words pronounced/spelled similarly to "proof":
proof Probe PREP perf
Words contain "proof":
bulletproof drool-proof paper proof proof theory PROOF/L
Words contain "proof" in its definition in Computing (FOLDOC) dictionary:
intuitionistic logic proof constructive drool-proof paper four colour map theorem General Recursion Theorem PRL exercise, left as an natural deduction ML more...

Comments and discussion on the word "proof"