Sentence examples for constructive version from inspiring English sources

However, a constructive version of Brouwer's Fixed Point Theorem for a continuous function on a closed square on itself can be obtained by the iteration technique, as follows.

Kamide and Wansing (2011) also present a cut-free sequent calculus for a connexive constructive version CS4d– of S4 without syntactic duality between □ and ◊.

The resulting theory still bears a strong resemblance to FS in that the constructive version of the rule-of-revision semantics for all finite levels provides a natural model of the theory (Leigh & Rathjen 2012).

It shows that many physical scenarios that have been problematic for modeling techniques manifest as non-constructive models, and that constructive versions of some of the models properly reflect uncertainty in the behavior of the physical systems that can arise from the principles of quantum mechanics.

It shows that many physical scenarios that have been problematic for modeling techniques manifest as nonconstructive models, and that constructive versions of some of the models properly reflect uncertainty in the behavior of the physical systems that plausibly arise from the principles of quantum mechanics.

It was not until the 1960s that adequate constructive versions were worked out.

The connections with type theory make constructive versions of NF an obvious target for investigation, but nothing publishable has emerged so far.

The situation of the intermediate value theorem is typical of many in constructive analysis, where we find one classical theorem with several constructive versions, some or all of which may be equivalent under classical logic.

Participants were presented with a modified block design task (BDT), in both a typical visuo-constructive version that involves reconstructing figures from blocks, and a perceptual version in which respondents must rapidly match unfragmented figures with a corresponding fragmented target figure.

A version of the constructive interpretation can also be found in Linsky (1999).

Moreover, the classically highly non-constructive Stone-Čech compactification has as well a constructive point-free version (Curi 2010).