The notion of the Program involves " an act to edit function and human activities " as the pretext of architectural design: epitomised in the maxim Form follows function, first popularised by architect Louis Sullivan at the beginning of the 20th century.

The notion of a static unchanging Form and its identity with Substance represents the metaphysical view that has come to be held as an assumption by the vast majority of the Western philosophical tradition since Plato and Aristotle, as it was something they agreed on.

Plato, in The Republic ( 507b-509c VI ), uses the sun as a metaphor for the source of " illumination ", arguably intellectual illumination, which he held to be The Form of the Good, which is sometimes interpreted as Plato's notion of God.

The term was coined by Edward T. Cone in Musical Form and Musical Performance ( New York: Norton, 1968 ), and is similar to the less formal notion of a phrase.

Rosser 1939 addresses the notion of " effective computability " as follows: " Clearly the existence of CC and RC ( Church's and Rosser's proofs ) presupposes a precise definition of " effective ".

Colonel Jack ( 1722 ) follows an orphaned boy from a life of poverty and crime to colonial prosperity, military and marital imbroglios and religious conversion, driven by a problematic notion of becoming a " gentleman.

Russell summarizes this notion as follows:

SCM 2. 0 follows this notion into supply chain operations.

But since ( as above ) this statement is logically equivalent to ( 1 ) all ravens are black, it follows that the sight of a green apple is evidence supporting the notion that all ravens are black.

An application of this notion is the decidability question: it follows from Post's theorem that a recursively axiomatized modal logic L which has FMP is decidable, provided it is decidable whether a given finite frame is a model of L. In particular, every finitely axiomatizable logic with FMP is decidable.

This term is used to describe the same theory, but with an emphasis on the notion of current flow, which is determined on the basis of the quantum equilibrium hypothesis that the probability follows the Born rule.

This analysis follows the lead of the neoclassical school, and relies on the notion of Pareto efficiency – and specifically considers market failures absent considerations of the " public interest ", or equity, citing definitional concerns.

In his original definition, Baire defined a notion of category ( unrelated to category theory ) as follows.

follows in the myth of Beauty and the Beast and the notion that the savagery of the Beast is, in the presence of Beauty, tamed by gentler feelings.

As to the incorporeality of God, it follows logically from the notion of infinity which belongs to the First Cause of motion that no corporeal thing can be infinite itself ; nor can infinite force be attributed to it.

From this philosophical reassessment a new concept follows naturally: the notion of renormalizability.

It follows that rays exist only for geometries for which this notion exists, typically Euclidean geometry or affine geometry over an ordered field.

Briefly put, Feyerabend's notion of incommensurability is as follows:

For elliptic curves, this notion can also be formulated as follows:

Progressive disclosure follows the typical notion of moving from " abstract to specific "; only it may mean sequencing interactions and not necessarily level of detail ( information ).

From this follows that the notion of time average makes sense for all observables.

It follows the Renaissance notion of prisca theologia, in that all these religions purportedly descend from a common source ; the ancient " Wisdom-Religion ".

In mathematics, topology generalizes the notion of triangulation in a natural way as follows:

These latter works are premised on the notion that gender does not precede but, rather, follows from practice, instantiated in micro-interaction.

The notion can be generalized to preorders ( P ,≤, 0 ) with a bottom element 0 as follows: I is a σ-ideal of P just when

In mathematics, the notion of restriction of a function is defined as follows:

Though he was critical of Toegye's idea that ki follows i as being dualistic, Yulgok ( Yi I, 1536 – 84 ) nevertheless embraced his notion that i ‘ rides ’ ki: only ki is emanant and i moves its emanation ; i and ki are ‘ neither two things nor one thing ’, as evidenced by ‘ wondrous fusion ’ ( myohap ).

And there is one other point in the Poetics that invites moral evaluation: Aristotle's notion that the distinctive function of tragedy is to purge one's emotions by arousing pity and fear.

important to distinguish between the notion of algorithm, i. e. procedure and the notion of function computable by algorithm, i. e. mapping yielded by procedure.

Authors who use this formulation often speak of the choice function on A, but be advised that this is a slightly different notion of choice function.

With this alternate notion of choice function, the axiom of choice can be compactly stated as

A special case of this difference in points of view applies to the notion of function.

This would correspond to the mathematical notion of the support of a function ( i. e., the total " length " of values for which the function is nonzero ).

Even though the three processes mentioned above proved to be equivalent, the fundamental premise behind the thesis — the notion of what it means for a function to be effectively calculable — is " a somewhat vague intuitive one ".

Gurevich adds the pointer machine model of Kolmogorov and Uspensky ( 1953, 1958 ): "... they just wanted to ... convince themselves that there is no way to extend the notion of computable function.

The equations are one way of looking at the condition on a function to be differentiable in the sense of complex analysis: in other words they encapsulate the notion of function of a complex variable by means of conventional differential calculus.

A closely related notion is the differential of a function.

The notion of a directional derivative of a function from multivariable calculus is extended in Riemannian geometry to the notion of a covariant derivative of a tensor.

In practice, the difference between a mathematical function and the notion of a function used in imperative programming is that imperative functions can have side effects that may change the value of program state.

It does have a notion of " generator ", which amounts to a function accepting a function as an argument, and, since it is an assembly-level language, code can be used as data, so IPL can be regarded as having higher-order functions.

The term integral may also refer to the notion of the antiderivative, a function F whose derivative is the given function f. In this case, it is called an indefinite integral and is written:

He also introduced much of the modern mathematical terminology and notation, particularly for mathematical analysis, such as the notion of a mathematical function.

In the untyped lambda calculus, function application has no restrictions ( so the notion of the domain of a function is not built into the system ).