Sentence examples for statements formulated from inspiring English sources

The rule known as Church's theorem or Church's thesis (proposed independently by Alan M. Turing) states that only recursive functions can be calculated mechanically and implies that arithmetic procedures cannot be used to decide the consistency of statements formulated in accordance with the laws of arithmetic.

Now we are in a position to prove the statements formulated in Sections 2 and 3. Proof of Corollary 2.1.

4 Initial draft statements formulated by the writing committee were reviewed by the GDG to allow for modification and to identify additional references.

Specific statements (formulated after consultation with the multidisciplinary project group) were then presented and initiated through the group moderator (JRA/WM), after which all participants were invited to express their views.

Bohemian Confession, Latin Confessio Bohemica, Protestant doctrinal statement formulated in Bohemia by the Czech Utraquists (moderate Hussites) in 1575 and subscribed to by the Unitas Fratrum, Lutherans, and Calvinists in the kingdom.

Corollaries 3.1, 3.2, 3.3 and 3.4 are actually weaker than corresponding already known statement formulated in [9] (Theorem 3.2, Chapter VII, p. 346).  .

The predicativist is a non-pluralist about first-order arithmetic and thinks that there is an objective fact of the matter concerning every statement formulated in the language of first-order arithmetic.

The 11 draft algorithm statements were edited and 5 additional statements were formulated.

The draft statements were edited and five additional statements were formulated (Table 1).

In Category B: two additional statements were formulated, and the structure of two statements was edited based on feedback from the panel.

In Category C: three additional statements were formulated and the content and structure of the remaining statement was edited.