Sentence examples for formal derivations from inspiring English sources

The work of Turing showed how such formal derivations could be executed mechanically by a Turing machine, a hypothetical computing device that operates by moving forward and backward on an indefinitely long tape and scanning cells on which it prints and erases symbols in some finite alphabet.

The contraction-free sequent calculi are powerful tools for the analysis of formal derivations.

We have briefly provided the proof of this theorem in [28] without formal derivations.

This comes well in agreement with the formal derivations by Horiuchi-Coale and Mitra.

Proofs and their representations by formal derivations are treated as principal objects of study, not as mere tools for analyzing the consequence relation".

Chapter 25 of Tennant (1987), titled "On deriving the basic laws of arithmetic: Or, how to Frege Wright a Dedekind Peano", provides detailed formal derivations of the Peano Dedekind axioms, within a free, intuitionistic relevant logic.

For the continuous-time optimization problem, the corresponding variational inequality is usually obtained by formal derivation (not strictly derived).

García-Cortés and Toro [ 10] have empirically illustrated the validity of their proposal through a numerical example, but they have not presented a formal derivation of the equivalence between their model and the one formalized by Cantet and Fernando [ 2] using the quantitative genetic arguments of Lo et al. [ 1], at least when the goal is to predict breeding values.

A formal derivation plus an interpretation and soundness proof can be a proof of the derived conclusion, but that whole package is not a syntactic object.

This sort of reasoning led Clarke to a formal derivation of the Poisson distribution as a model.

A formal derivation on its own is a syntactic object but not a proof.