Free Variables And Bound Variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to a placeholder (a symbol that will later be replaced by some literal string), or a wildcard character that stands for an unspecified symbol.
In computer programming, the term free variable refers to variables used in a function that are not local variables nor parameters of that function. The term non-local variable is often a synonym in this context.
A bound variable is a variable that was previously free, but has been bound to a specific value or set of values. For example, the variable x becomes a bound variable when we write:
- 'For all x, (x + 1)2 = x2 + 2x + 1.'
or
- 'There exists x such that x2 = 2.'
In either of these propositions, it does not matter logically whether we use x or some other letter. However, it could be confusing to use the same letter again elsewhere in some compound proposition. That is, free variables become bound, and then in a sense retire from being available as stand-in values for other values in the creation of formulae.
The term "dummy variable" is also sometimes used for a bound variable (more often in general mathematics than in computer science), but that use creates an ambiguity with the definition of dummy variables in regression analysis.
Read more about Free Variables And Bound Variables: Examples, Formal Explanation, Natural Language
Famous quotes containing the words free, variables and/or bound:
“You have waited, you always wait, you dumb, beautiful ministers,
We receive you with free sense at last, and are insatiate
hence-forward,
Not you any more shall be able to foil us, or withhold yourselves
from us,
We use you, and do not cast you aside—we plant you permanently within us,
We fathom you not—we love you—there is perfection in you also,
You furnish your parts, toward eternity,
Great or small, you furnish your parts toward the soul.”
—Walt Whitman (1819–1892)
“Science is feasible when the variables are few and can be enumerated; when their combinations are distinct and clear. We are tending toward the condition of science and aspiring to do it. The artist works out his own formulas; the interest of science lies in the art of making science.”
—Paul Valéry (1871–1945)
“American families, however, without exception, experience a double message in our society, one that claims a commitment to families and stresses the importance of raising bright, stable, productive citizens, yet remains so bound by an ideal of “rugged individualism” that parents receive little support in their task from the public or private sectors.”
—Bernice Weissbourd (20th century)