Sentence examples for natural statement from inspiring English sources

This provides a quite natural statement of finite combinatorics which is independent of PA.

This last equality can also be obtained by stating the same variational problem in reverse causal order of x and θ, which is the natural statement of the Thompson sampling problem.

It is a remarkable empirical fact that for any "natural" statement in the language of set theory φ one can generally find a large cardinal axiom Φ such that ZFC+φ and ZFC+Φ are mutually interpretable.

In the second part, I will present a new visual reasoning language dataset, containing natural statements grounded in synthetic images.

A natural language statement of the second kind (like the example statement with the time five o'clock 15 March 2006) is then formalized using a nominal, not an ordinary propositional symbol (which would be used to formalize the example statement with rainy weather).

In the boating world, "it seems like a very natural, logical statement to make," he said.

These competency parts are combined in a precise natural language statement: Define the best type of interview process that allows an efficient evaluation of desired skills, without help, in any situation.

The TELOS competency editor presented on Figure 9 is one solution that provides a natural language statement of the competencies, but more important it provides their underlying structure (K, S, P).

The theorem states that every Goodstein sequence eventually terminates at 0. Goodstein's theorem is certainly a natural mathematical statement, for it was formulated and proved (obviously by proof methods that go beyond PA) by Goodstein long before (that is, in 1944) it was shown, in 1982, that the theorem is not provable in PA (Kirby & Paris 1982).

And, if such a natural, personal statement draws "shrieks of accusation," never mind.

And here comes the really potent next step: a computation specified in one mode of description (including in a "natural language" statement like the written rules for poker) can also frequently be specified in some other mode, like the binary code used by our digital computers.