complete theory


Also found in: Wikipedia.

complete theory

(logic)
An abstract logical theory in which all true statements have formal proofs within the theory.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in classic literature ?
And this tattooing, had been the work of a departed prophet and seer of his island, who, by those hieroglyphic marks, had written out on his body a complete theory of the heavens and the earth, and a mystical treatise on the art of attaining truth; so that Queequeg in his own proper person was a riddle to unfold; a wondrous work in one volume; but whose mysteries not even himself could read, though his own live heart beat against them; and these mysteries were therefore destined in the end to moulder away with the living parchment whereon they were inscribed, and so be unsolved to the last.
And Einstein provided a more complete theory. Today we are seeing Einstein's theories starting to fray around the edges," said Ghez, who led the study published in the journal Science.
A picture taken of his office hours after he died shows a blackboard full of mathematical scribble and a dozen or so books opened and piled a product of mathematical poetry randomly on the table suggesting that the search for a complete theory of everything went on till the last moment of his calling.
The answer is that they were talking about part of a theory of textual interpretation but not an actual, complete theory. A complete theory of textual interpretation must prescribe principles of admissibility (what counts towards meaning), significance (how much does the admissible evidence count), standards of proof (how much evidence do you need for a justified conclusion), burdens of proof (does inertia lie with acceptance or rejection of a proposed meaning), and closure (when is the evidence set adequate to justify a claim).
"But, even if we do find a complete theory of everything, it is just a set of rules and equations.
At times, Cohen seems to be presenting a complete theory of the principles of toleration, but at other times he seems to hold back from such an ambitious project.
"We have no complete theory of what kind of information is embedded there, what can we extract, how far can we go in terms of imaging or in terms of extracting other information," he said.
Together, Jeppesen's eAcademy program streamlines recurrent dispatch training for operators, while on the job training programs from TUI GOC establishes a complete theory and practical learning environment that is ICAO and EASA-compliant.
Now, research teams in the US and Europe have created two universemodelling computer codes using the complete theory.
Skeide presents a complete theory of classification of E0-semigroups by product systems of correspondences, and demonstrating its application by answering the question whether a Markov semigroup admits dilation by a cocyle perturbations of noise.
Let C be any reasonable initial credence function, [P.subv.t,w(*) the chance distribution at w and t, [H.sub.t,w] the complete history of w up to t, and [T.sub.w] the complete theory of chance for w.
He claims that a complete theory is formed by four key elements: what, how, why and who--where--when, as the single last one.

Full browser ?