to give proof to
21give and bequeath — These words, in a will, import a benefit in point of right, to take effect upon the decease of the testator and proof of the will, unless it is made in terms to depend upon some contingency or condition precedent …
22Combinatorial proof — In mathematics, the term combinatorial proof is often used to mean either of two types of proof of an identity in enumerative combinatorics that either states that two sets of combinatorial configurations, depending on one or more parameters,… …
23Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… …
24Natural 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… …
25Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… …
26Interactive proof system — In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… …
27Zero-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… …
28Probabilistically checkable proof — In computational complexity theory, a probabilistically checkable proof (PCP) is a type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof. The algorithm… …
29Artist's proof — An artist s proof is, at least in theory, an impression of a print taken in the printmaking process to see the current printing state of a plate while the plate (or stone, or woodblock...) is being worked on by the artist. A proof may show a… …
30Social proof — Social proof, also known as informational social influence, is a psychological phenomenon that occurs in ambiguous social situations when people are unable to determine the appropriate mode of behavior. Making the assumption that surrounding… …
