He gave an infinite algorithm to solve this problem using a new notion of the composition (later the ' s -polynomial' in Buchberger's terminology [65, 66]) of two Lie polynomials and a new notion of completion of a set of Lie polynomials (adding nontrivial compositions; the critical pair/completion (cpc-) algorithm in the later terminology of Knuth and Bendix [138] and Buchberger [67, 68]).
Hook appreciated the pluralistic character of liberty as recognized in the later terminology of John Austin, according to which the "correlative opposites" of the term "liberty" are not only such terms as "slavery," "repression" and "coercion," but also such terms as "security," "order," "self-restraint" and "law".
The other — which he will designate in his later terminology as the "physico-theological" argument — moves from observations of order and harmony in the world to its conclusion that there must be a wise creator of that order.
Thus, using his well-known later terminology (from the Critique and the Prolegomena), Kant is here saying that, in the case of a real ground, the relationship between the concept of the consequent (e.g., an effect) and the concept of the ground (e.g., a cause) is not one of containment, and the judgment that the former follows from the latter is therefore not analytic.
One line of argument — which he will designate in his later terminology as the "cosmological argument" — moves in terms of a concept of causality to its conclusion that there must be a first necessary being.
Secondly, we have identified two distinct phases of initial terminology articulation and a later terminology repetition in the PBL process, thus providing further insight into the process of learning in PBL through a semi-naturalistic approach, instead of depending on student self-report.
This result is similar to the findings by Yew and Schmidt (2008) who identified two distinct phases of initial terminology articulation and a later terminology repetition in the PBL process from a group of students' online research data and verbal interactions.
Dedekind realized early on that several of the notions and techniques he had introduced in algebraic number theory could be transferred to, and fruitfully applied in, the study of algebraic functions (algebraic function fields, in later terminology).
He holds that sensations are literally modifications in the mind, but that they are highly indeterminate, or in later terminology lack determinate intentional objects, and that genuine understanding occurs only when and to the extent that the determinate ideas in the perfect intellect of God are disclosed to finite, human minds, to the extent that they are.
This "pivot" — or in later terminology "rebalance" — aimed to strengthen America's regional presence.
Much of the later algebraic work would be devoted to devising terminology, concepts, and methods necessary to advance the subject.
