Sentence examples for constructive theory from inspiring English sources
A constructive theory, as the name implies, provides a constructive model for the phenomena of interest.
In the constructive theory of orthogonal polynomials they have been called inverse problems.
In passing, we mention an alternative development of the constructive theory of R based on interval arithmetic; see Chapter 2 of Bridges and Vîță 2006.
Ascertainment of the use (of a word, of a proposition), however, is not given to any sort of constructive theory building, as in the Tractatus.
As clearly highlighted in (Swan 2014) the fact that CZF does not have EP does not indicate some weakness in CZF as a constructive theory.
Martin-Löf's constructive theory of types [1984] (cf. Section 3.4 of the entry on constructive mathematics) provides another general framework within which intuitionistic reasoning continues to develop.
From the time of Classical Greece until the present day, however, Western criticism has been dominated by two opposing theories of the literary art, which might conveniently be called the expressive and constructive theories of composition.
Constructive theories are theories which postulate the existence of simple entities behind the phenomena.
It is useful in this context to recall Einstein's (1954) distinction between principle theories and constructive theories.
The theories motivated by essentially different views of the realm of mathematics (the constructive theories and the theories which support nonstandard analysis) we set to one side.
Functional interpretations such as realizability as well as interpretations in type theory could also be viewed as models of intuitionistic mathematics and most other constructive theories.
