satisfy by proof
Look at other dictionaries:
satisfy — ► VERB (satisfies, satisfied) 1) meet the expectations, needs, or desires of. 2) fulfil (a desire or need). 3) provide with adequate information about or proof of something. 4) comply with (a condition, obligation, or demand). ORIGIN Latin… … English terms dictionary
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
satisfy — v. ( ies, ied) 1 tr. a meet the expectations or desires of; comply with (a demand). b be accepted by (a person, his taste) as adequate; be equal to (a preconception etc.). 2 tr. put an end to (an appetite or want) by supplying what was required.… … Useful english dictionary
satisfy — verb (satisfies, satisfying, satisfied) 1》 meet the expectations, needs, or desires of. ↘fulfil (a desire or need). 2》 provide with adequate information about or proof of something. 3》 comply with (a condition, obligation, or demand).… … English new terms dictionary
Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… … Wikipedia
Gödel's ontological proof — is a formalization of Saint Anselm s ontological argument for God s existence by the mathematician Kurt Gödel.St. Anselm s ontological argument, in its most succinct form, is as follows: God, by definition, is that than which a greater cannot be… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Natural proof — In computational complexity theory, a natural proof is a certain kind of proof establishing that one complexity class differs from another one. While these proofs are in some sense natural , it can be shown (assuming a widely believed conjecture… … Wikipedia
Burden of proof (logical fallacy) — In philosophy, the term burden of proof refers to the extent to which, or the level of rigour with which, it is necessary to establish, demonstrate or prove something for it to be accepted as true or reasonable to believe.All logical arguments… … Wikipedia
