Language of mathematics
The language of mathematics is the system used by mathematicians to communicate mathematical ideas among themselves. This language consists of a substrate of some natural language (for example English) using technical terms and grammatical conventions that are peculiar to mathematical discourse (see Mathematical jargon), supplemented by a highly specialized symbolic notation for mathematical formulas.
Like natural languages in general, discourse using the language of mathematics can employ a scala of registers. Research articles in academic journals use a more formal tone than oral exchanges over a scribbled-upon napkin in the university cafeteria.
What is a language?
Here are some definitions of language:
- a systematic means of communicating by the use of sounds or conventional symbols WordNet
- a system of words used in a particular discipline WordNet
- the code we all use to express ourselves and communicate to others Speech & Language Therapy Glossary of Terms
- a set (finite or infinite) of sentences, each finite in length and constructed out of a finite set of elements Noam Chomsky.
These definitions describe language in terms of the following components:
- A vocabulary of symbols or words
- A grammar consisting of rules of how these symbols may be used
- A community of people who use and understand these symbols
- A range of meanings that can be communicated with these symbols
Each of these components is also found in the language of mathematics.
The vocabulary of mathematics
Mathematical notation is central to the power of modern mathematics. Though the algebra of Al-Khwārizmī did not use such symbols, it solved equations using many more rules than are used today with symbolic notation, and had great difficulty working with multiple variables (which using symbolic notation can simply be called , etc.). Sometimes formulas cannot be understood without a written or spoken explanation, but often they are sufficient by themselves, and sometimes they are difficult to read aloud or information is lost in the translation to words, as when several parenthetical factors are involved or when a complex structure like a matrix is manipulated.
Like any other profession, mathematics also has its own brand of technical terminology. In some cases, a word in general usage has a different and specific meaning within mathematics—examples are group, ring, field, category, term, and factor. For more examples, see Category:Mathematical terminology.
In other cases, specialist terms have been created which do not exist outside of mathematics—examples are tensor, fractal, functor. Mathematical statements have their own moderately complex taxonomy, being divided into axioms, conjectures, theorems, lemmas and corollaries. And there are stock phrases in mathematics, used with specific meanings, such as "if and only if", "necessary and sufficient" and "without loss of generality". Such phrases are known as mathematical jargon.
The vocabulary of mathematics also has visual elements. Diagrams are used informally on blackboards, as well as more formally in published work. When used appropriately, diagrams display schematic information more easily. Diagrams also help visually and aid intuitive calculations. Sometimes, as in a visual proof, a diagram even serves as complete justification for a proposition. A system of diagram conventions may evolve into a mathematical notation – for example, the Penrose graphical notation for tensor products.
The grammar of mathematics
The grammar used for mathematical discourse is essentially the grammar of the natural language used as substrate, but with several mathematics-specific peculiarities.
Most notably, the mathematical notation used for formulas has its own grammar, not dependent on a specific natural language, but shared internationally by mathematicians regardless of their mother tongues. This includes the conventions that the formulas are written predominantly left to right, also when the writing system of the substrate language is right-to-left, and that the Latin alphabet is commonly used for simple variables and parameters. A formula such as
is understood by Chinese and Israeli mathematicians alike.
Such mathematical formulas can be a part of speech in a natural-language phrase, or even assume the role of a full-fledged sentence. For example, the formula above, an equation, can be considered a sentence or sentential phrase in which the greater than or equal to symbol has the role of a verb. In careful speech, this can be made clear by pronouncing "≥" as "is greater than or equal to", but in an informal context mathematicians may shorten this to "greater or equal" and yet handle this grammatically like a verb. A good example is the book title Why does E = mc2?; here, the equals sign has the role of an infinitive.
Mathematical formulas can be vocalized (spoken aloud). The vocalization system for formulas has to be learned, and is dependent on the underlying natural language. For example, when using English, the expression "ƒ (x)" is conventionally pronounced "eff of eks", where the insertion of the preposition "of" is not suggested by the notation per se. The expression "", on the other hand, is vocalized like "dee-why-dee-eks", with complete omission of the fraction bar, in other contexts often pronounced "over". The book title Why does E = mc2? is said aloud as Why does ee equal em see-squared?.
The language community of mathematics
Mathematics is used by mathematicians, who form a global community composed of speakers of many languages. It is also used by students of mathematics. As mathematics is a part of primary education in almost all countries, almost all educated people have some exposure to pure mathematics. There are very few cultural dependencies or barriers in modern mathematics. There are international mathematics competitions, such as the International Mathematical Olympiad, and international co-operation between professional mathematicians is commonplace.
The meanings of mathematics
Mathematics is used to communicate information about a wide range of different subjects. Here are three broad categories:
- Mathematics describes the real world: many areas of mathematics originated with attempts to describe and solve real world phenomena - from measuring farms (geometry) to falling apples (calculus) to gambling (probability). Mathematics is widely used in modern physics and engineering, and has been hugely successful in helping us to understand more about the universe around us from its largest scales (physical cosmology) to its smallest (quantum mechanics). Indeed, the very success of mathematics in this respect has been a source of puzzlement for some philosophers (see The Unreasonable Effectiveness of Mathematics in the Natural Sciences by Eugene Wigner).
- Mathematics describes abstract structures: on the other hand, there are areas of pure mathematics which deal with abstract structures, which have no known physical counterparts at all. However, it is difficult to give any categorical examples here, as even the most abstract structures can be co-opted as models in some branch of physics (see Calabi-Yau spaces and string theory).
- Mathematics describes mathematics: mathematics can be used reflexively to describe itself—this is an area of mathematics called metamathematics.
- My own attitude, which I share with many of my colleagues, is simply that mathematics is a language. Like English, or Latin, or Chinese, there are certain concepts for which mathematics is particularly well suited: it would be as foolish to attempt to write a love poem in the language of mathematics as to prove the Fundamental Theorem of Algebra using the English language.
Some definitions of language, such as early versions of Charles Hockett's "design features" definition, emphasize the spoken nature of language. Mathematics would not qualify as a language under these definitions, as it is primarily a written form of communication (to see why, try reading Maxwell's equations out loud). However, these definitions would also disqualify sign languages, which are now recognized as languages in their own right, independent of spoken language.
Other linguists believe no valid comparison can be made between mathematics and language, because they are simply too different:
- Mathematics would appear to be both more and less than a language for while being limited in its linguistic capabilities it also seems to involve a form of thinking that has something in common with art and music. - Ford & Peat (1988)
- Brian Cox; Jeff Forshaw (2010). Why does E = mc2? (and why should we care?). Da Capo Press. ISBN 978-0-306-81876-9.
- Knight, Isabel F. (1968). The Geometric Spirit: The Abbe de Condillac and the French Enlightenment. New Haven: Yale University Press.
- R. L. E. Schwarzenberger (2000), The Language of Geometry, published in A Mathematical Spectrum Miscellany, Applied Probability Trust.
- Alan Ford & F. David Peat (1988), The Role of Language in Science, Foundations of Physics Vol 18.
- Kay O'Halloran, Mathematical Discourse: Language, Symbolism and Visual Images, Continuum, 2004. ISBN 0826468578