prove

(redirected from provable)
Also found in: Dictionary, Thesaurus, Idioms, Wikipedia.

prove

v. to present evidence and/or logic that makes a fact seem certain. What a party must do to convince a trier of fact (judge or jury without a judge) as to facts claimed and to win a lawsuit or criminal case. (See: proof)

References in periodicals archive ?
"Provable data possession at untrusted stores", in proc.
"Cooperative provable data possession for integrity verification in multicloud storage", IEEE Trans.
(*) If S is consistent then D is not provable from S.
The argument for (*) is by contradiction (6): suppose D is provable from S.
The trustee examines the claims of creditors and divides them into two groups -- those with claims that are provable in the bankruptcy and those with claims that are not provable.
In a chapter building on the more developed field of Chinese medicine, Judith Farquhar stresses the multiplicity of Chinese "medical bodies." Although practitioners' proper apprenticeship and experience are strongly emphasized in contemporary China, medical practice refers to causes that are not empirically provable. Openness to many possible points of view contrasts with the Western view of knowledge preceding action and kept separate from it.
([upper left corner]p[upper right corner] might be the numeral for the Godel number of p.) "[proves]" is a preposed verb phrase (of our language) meaning "is provable in the theory".
* Is there any provable relationship between sales coverage and sales results?
Silverstein's argument is sobering and readily provable. He maintains that the people in the American middle class--which he defines as having annual earnings from $50,000 to $150,000--have to make choices about what they purchase, and they tend to gravitate toward the edges.
He argues that the intuitively provable arithmetic sentences constitute a recursively enumerable set, which has a Godel sentence which is itself intuitively provable.
Once this is done, a zero-knowledge scheme can handle any theorem provable within any logic system.