Sentence examples for fixed interpretation from inspiring English sources

The relevance to the MTA is this: Gödel himself believed in a fixed interpretation of set theory relative to which he thought the Axiom of Constructibility V=L would turn out to be false.

Because of the fixed interpretation of the roles established for these brothers, any speculation as to either man's more convoluted and resentful undercurrents threatens this neat setup.

In interviews, Mr. Mrozek was reluctant to attach fixed interpretations to his work.

For \(\mathbf{H}\) does not fix the interpretation of \(Tr\) in all interpretations of \(L\).

Like any definition, (18) fixes the interpretation of the definiendum \ if\) the interpretations of the non-logical constants in the definiens are given.

Briefly, he argued that as long as the only constraints available to fix the interpretation of 'set' are theoretical and operational ones (all the measurements humans will ever make) there will be an interpretation of set theory on which V=L turns out true, which since it passes all constraints is an intended one.

Under Napoleon, Merlin became procurator-general (1804) and did more than any other lawyer to fix the interpretation of the Napoleonic Code.

To fix an interpretation of these passages, we can look to a number of different places.

In particular, Einstein had reservations about the uncontrollable physical effects invoked by Bohr in the context of measurement interactions, and about their role in fixing the interpretation of the wave function.

The model-theoretic interpretation is obtained by letting the significance of "∈" be fixed by the interpretation function of M, letting the quantifiers in Ω x) range over the domain of M, and letting the significance of "=" and the propositional connectives be fixed by the recursion clauses in the the definition of first-order satisfaction.

This can be justified, e.g., keeping fixed the usual interpretation of "0" and "N" but observing that "M" can be interpreted by means of the reflexive relation of being less than or equal to; under this interpretation, "∀x(Nx→¬Mxx)" is false, although "N0" is true.