Sentence examples for analysis of proofs from inspiring English sources

The methods of sequent calculus, especially, permit the analysis of proofs with profound results.

Deep inference provides a richer combinatoric analysis of proofs for different logics.

A great deal of Hilbert's work on geometry concerned the analysis of proofs, of what can, or cannot, be derived from what.

Other sections of the paper contain a remarkable beginning of the analysis of proofs in lattice theory and in projective geometry: Skolem considered the axioms of a mathematical theory from a purely combinatorial and formal point of view, as means for producing derivations of a formula from given formulas used as assumptions.

The phenomenology of the variety of such explanatory activities has been partially investigated in Sandborg (1997, ch. 1) and Hafner & Mancosu 2005 (see also Robinson 2000 for a cognitive analysis of proof emphasizing explanatory factors).

Theoretical analysis on proof of correctness as well as computational cost models are provided.

By the careful analysis of the proof of Theorem 3.3, we can obtain the desired result.

By the careful analysis of the proof of Theorem 3.1, we can obtain the following result.

Euler's analysis of Wallis' proof led him to formulas for the gamma and beta functions.

Another interesting analysis of finitary proof, which, however, does not provide as detailed a philosophical justification, was proposed by Kreisel (1960).

If and f is strictly convex (strictly mid-convex), then the analysis of the proof of Theorem 1 shows that.