This MedLibrary.org supplementary page on Expression (mathematics) is provided directly from the open source Wikipedia as a service to our readers. Please see the note below on authorship of this content, as well as the Wikipedia usage guidelines. To search for other content from our encyclopedia supplement, please use the form below:
Related Sponsors
In mathematics, the word expression is a very general term for any well-formed combination of mathematical symbols. For example,
- x2 + 3x − 4
is an expression, while
- )x) / 0
is not, because the parentheses are not balanced and division by 0 is undefined.
Being an expression is a syntactic concept – the meaning of the variables is irrelevant, but different fields have different notions of validity. See formal language for how expressions are constructed, and formal semantics for meaning.
Contents |
Types of expressions
Common examples of mathematical expressions include
arithmetic expressions
- 2 + 3,
and algebraic expressions such as
-
- x2 + 3x − 4,
-
- 2 / x + x / 2,
and equations
-
- x + 2 = 5
Manipulating expressions
- Further information: Formal system
Just as expressions must be formed according to certain rules (rules which may change from one mathematical specialty to another), expressions can often be given a new form, again following rules, some very general, some specific to a particular area of mathematics. For example, the expression
- x2 + 3x − 4
is considered equal to, and so in a sense the same as, the expression
- (x + 4)(x − 1).
Variables
Many mathematical expressions include letters called variables. Variables are classified as either free or bound.
For a given combination of values for the free variables, an expression may be evaluated, although for some combinations of values of the free variables, the value of the expression may be undefined. Thus an expression represents a function whose inputs are the values assigned the free variables and whose output is the resulting value of the expression.
For example, the expression
- x / y
evaluated for x = 10, y = 5, will give 2; but is undefined for y = 0.
The evaluation of an expression is dependent on the definition of the mathematical operators and on the system of values that is its context. See formal semantics and formal interpretation for the study of this question in logic.
Two expressions are said to be equivalent if, for each combination of values for the free variables, they have the same output, i.e., they represent the same function. Example:
The expression
has free variable x, bound variable n, constants 1, 2, and 3, two occurrences of an implicit multiplication operator, and a summation operator. The expression is equivalent with the simpler expression 12x. The value for x=3 is 36.
An expression must be well-formed. That is, the operators must have the correct number of inputs, in the correct places. The expression 2 + 3 is well formed; the expression * 2 + is not, at least, not in the usual notation of arithmetic.
Expressions and their evaluation were formalised by Alonzo Church and Stephen Kleene in the 1930s in their lambda calculus. The lambda calculus 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 undecidable. This is also true of any expression in any system that has power equivalent to the lambda calculus.
See also
External links
- Axiomatic Theory of Formulas - theory of expressions on high abstraction level.
Wikipedia content modification information:
- This page was last modified on 6 August 2008, at 19:41.
Wikipedia Authorship and Review
Wikipedia content provided here is not reviewed directly by MedLibrary.org. Wikipedia content is authored by an open community of volunteers and is not produced by or in any way affiliated with MedLibrary.org.
Wikipedia Usage Guidelines
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article on "Expression (mathematics)".
The URL for this specific entry is:
All Wikipedia text is available under the terms of the GNU Free Documentation License. (See Copyrights for details). Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc.