Encyclopedia > Expression

  Article Content


An expression is a mathematical construct that combines values and mathematical operators. Expressions may be evaluated to values, and may be said to represent those values. The evaluation of an expression is dependent on the definition of the mathematical operators and system of values that forms the context of an expression.

Expressions may have "free variables" that are not defined in the expression, but taken from the context.

Two expressions are said to be equivalent if they can be evaluated to the same value.

Expressions and their evaluation were formalised by Alonzo Church and Stephen Kleene in the 1930s in their lambda calculus. The lambda calculus has has been a major influence in the development of modern mathematics and computer programming languages.

One of the more interesting results of the lambda calculus is that the equivalence of two expressions in the lambda calculus is in some cases undecideable[?]. This is also true of any expression in any system that has power equivalent to the lambda calculus.

See also:

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article

... a little knowledge of gyroscopes. Their striking property is that the axis of a spinning gyroscope will resist a force applied to it and will start rotating perpendicular ...

This page was created in 21.9 ms