Search results
Results From The WOW.Com Content Network
The language of mathematics has a wide vocabulary of specialist and technical terms. It also has a certain amount of jargon : commonly used phrases which are part of the culture of mathematics, rather than of the subject.
H.M. – harmonic mean. HOL – higher-order logic. Hom – Hom functor. hom – hom-class. hot – higher order term. HOTPO – half or triple plus one. hvc – havercosine function. (Also written as havercos.) hyp – hypograph of a function.
The consequence of these features is that a mathematical text is generally not understandable without some prerequisite knowledge. For example, the sentence "a free module is a module that has a basis" is perfectly correct, although it appears only as a grammatically correct nonsense, when one does not know the definitions of basis, module, and free module.
This is a glossary of some of the technical terms in Principia Mathematica that are no longer widely used or whose meaning has changed. apparent variable bound variable atomic proposition A proposition of the form R(x,y,...) where R is a relation. Barbara A mnemonic for a certain syllogism. class A subset of the members of some type codomain
The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents, [1] and the LaTeX symbol.
For example: "All humans are mortal, and Socrates is a human. ∴ Socrates is mortal." ∵ Abbreviation of "because" or "since". Placed between two assertions, it means that the first one is implied by the second one. For example: "11 is prime ∵ it has no positive integer factors other than itself and one." ∋ 1. Abbreviation of "such that".
Main page; Contents; Current events; Random article; About Wikipedia; Contact us; Pages for logged out editors learn more
Consider the examples presented below. There are three basic markups used to make technical terms stand out; these are italic (in typography also termed oblique with regard to sans-serif fonts), bold, and bold italic. The following uses of these styles are recommended for technical articles: Italic (edited as ''italic'') is used for: