Sentence examples for direct consistency from inspiring English sources

Hilbert thus realized that a direct consistency proof of analysis, i.e., one not based on reduction to another theory, was needed.

This proposal incorporated Hilbert's ideas from 1904 regarding direct consistency proofs, his conception of axiomatic systems, and also the technical developments in the axiomatization of mathematics in the work of Russell as well as the further developments carried out by him and his collaborators.

Although Hilbert proposed his program in this form only in 1921, various facets of it are rooted in foundational work of his going back until around 1900, when he first pointed out the necessity of giving a direct consistency proof of analysis.

Recently, several initiatives have been directed to improve consistency, relevance and fidelity in the process of transforming clinical data into administrative datasets and subsequent practice-changing results.

After that, the assumption of consistency between direct and indirect evidence was assessed by using the node-splitting method whereas publication bias was visually inspected by using funnel plots [12, 13].

The actual draw rate and draw ratio at the region in the specimen from which X-ray data was recorded was determined independently with high consistency by direct video observation of strain and total X-ray scattering.

The consistency of direct or partial peat replacements varies significantly (Chong 2005), and consequently, many produce unsatisfactory results (Bustamante et al. 2008; Jung and Yang 2014), due to the presence of phytotoxic compounds, pathogens, high salt contents, or unsuitable physical properties (Sharif et al. 2014).

One review that reported consistency combined direct and indirect effect measures using meta-analysis to produce a pooled effect estimate.

25 We statistically evaluated the consistency of direct and indirect evidence in network meta-analyses using the Bucher method.

Assumptions of homogeneity, similarity, and consistency between direct and indirect evidence in our NMA were made [ 28], however, uncertainties remain.

The consistency between direct and indirect evidence was performed using node splitting methods described by Dias et al. [ 46].