Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Name

From Encyclopedia of Mathematics - Reading time: 1 min


A linguistic expression to denote a specified object. The object denoted by a given name is called the denotation. In mathematics, names are widely used for specific mathematical objects, for example, $ e , \pi $ for the well-known transcendental numbers, $ \sin $ for the sine function, $ \emptyset $ for the empty set. From such simple names one can form compound names, which name an object using the names of two objects. For example, $ \sin \pi $ is another name for the number $ 0 $. A name not only names the denotation, but it also expresses a definite meaning. Thus, the expressions

$$ \lim\limits _ {n \rightarrow \infty } n ^ {1/n} \ \textrm{ and } \ \ \sin \frac \pi {2} $$

are names for the number 1; however, their meanings are different. If in a compound name, some name occurring in it is replaced by a name having the same denotation, then the denotation of the compound name is unchanged. If in a compound name some name occurring in it is replaced by a synonym of it (that is, a name having the same meaning), then the meaning of the compound name is unchanged.

Along with names, one uses in mathematics expressions containing variables. The expressions become names upon replacing the variables by names of objects in the range of values of the variables. Such expressions are called name forms. The expressions $ e ^ {x} $, $ \int _ {0} ^ {x} ( \sin t ) d t / t $, where $ x $ is a variable for the real numbers, are examples of name forms.

References[edit]

[1] A. Church, "Introduction to mathematical logic", 1, Princeton Univ. Press (1956)
[a1] R. Carnap, "Meaning and necessity", Univ. Chicago Press (1947)

How to Cite This Entry: Name (Encyclopedia of Mathematics) | Licensed under CC BY-SA 3.0. Source: https://encyclopediaofmath.org/wiki/Name
55 views | Status: cached on November 12 2024 21:27:06
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF