Sentence examples for case of proof from inspiring English sources

Formally verifying automated reasoning programs will help ameliorate this, particularly in the case of proof checkers.

We examine a representative case of proof presentation through the lens of the instructor's course image.

However, constructive consequence may be viewed as a limiting case of proof-theoretic consequence.

In the cases without that type of proof, police say the crimes mirror the others, making it extremely likely they were perpetrated by the same person.

Similarly to the previous proof, our strategy will be to first choose some N 1 < N and an N 1 -dimensional Boolean system B 1 = ( 2 N 1, f ) that is constructed as in the previous proof and satisfies the conclusion of Theorem 2 (in the case of the proof of Theorem 6) or Theorem 8 (in the case of the proof of Theorem 9) for some auxiliary constants p 1 and c 1.

Obviously, the first case of the proof of Theorem 1 obeys the desired bound.

This is an extension to the 2-D case of a proof in [3] for the deterministic case.

can be checked similarly as in the case of the proof of the first part of the theorem.

Hence, we get δ Δ ( { t ∈ T : | f ( t ) − L | ≥ ε } ) = 0. Another case of the proof is straightforward.

Or, think about the case of Hales' proof of the Kepler Conjecture which asserts that no packing of congruent balls in Euclidean 3-space has density greater than the face-centered cubic packing.

The net result of the preceding discussion of difficulties for a Bayesian historicism mirrors that described above in the case of purported "proofs" of Bayesianism.