Precise Semantic Meaning
Modern mathematics needs to be precise, because ambiguous notations do not allow formal proofs. Suppose that we have statements, denoted by some formal sequence of symbols, about some objects (for example, numbers, shapes, patterns). Until the statements can be shown to be valid, their meaning is not yet resolved. While reasoning, we might let the symbols refer to those denoted objects, perhaps in a model. The semantics of that object has a heuristic side and a deductive side. In either case, we might want to know the properties of that object, which we might then list in an intensional definition.
Those properties might then be expressed by some well-known and agreed-upon symbols from a table of mathematical symbols. This mathematical notation might include annotation such as
- "All x", "No x", "There is an x" (or its equivalent, "Some x"), "A set", "A function"
- "A mapping from the real numbers to the complex numbers"
In different contexts, the same symbol or notation can be used to represent different concepts. Therefore, to fully understand a piece of mathematical writing, it is important to first check the definitions that an author gives for the notations that are being used. This may be problematic if the author assumes the reader is already familiar with the notation in use.
Read more about this topic: Mathematical Notation
Famous quotes containing the words precise, semantic and/or meaning:
“Once one’s up against it, the precise manner of one’s death has obviously small importance.”
—Albert Camus (1913–1960)
“Watt’s need of semantic succour was at times so great that he would set to trying names on things, and on himself, almost as a woman hats.”
—Samuel Beckett (1906–1989)
“Let us think this thought in its most terrible form: existence as it is, without meaning or aim, and yet recurring inevitably, without a finale in nothingness—”eternal recurrence.””
—Friedrich Nietzsche (1844–1900)