Formula

In science, a formula is a concise way of expressing information symbolically, as in a mathematical formula or a chemical formula. The informal use of the term formula in science refers to the general construct of a relationship between given quantities.

On the left is a sphere, whose volume

V

is given by the mathematical formula

V = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}⁠4/3⁠ π r3

. On the right is the compound isobutane, which has chemical formula (CH₃)₃CH.

One of the most influential figures of computing science's founding generation, Edsger Dijkstra at the blackboard during a conference at ETH Zurich in 1994. In Dijkstra's own words, "A picture may be worth a thousand words, a formula is worth a thousand pictures."^[1]

The plural of formula can be either formulas (from the most common English plural noun form) or, under the influence of scientific Latin, formulae (from the original Latin).^[2]

In mathematics

In mathematics, a formula generally refers to an equation or inequality relating one mathematical expression to another, with the most important ones being mathematical theorems. For example, determining the volume of a sphere requires a significant amount of integral calculus or its geometrical analogue, the method of exhaustion.^[3] However, having done this once in terms of some parameter (the radius for example), mathematicians have produced a formula to describe the volume of a sphere in terms of its radius:

V={\frac {4}{3}}\pi r^{3}.

Having obtained this result, the volume of any sphere can be computed as long as its radius is known. Here, notice that the volume V and the radius r are expressed as single letters instead of words or phrases. This convention, while less important in a relatively simple formula, means that mathematicians can more quickly manipulate formulas which are larger and more complex.^[4] Mathematical formulas are often algebraic, analytical or in closed form.^[5]

In a general context, formulas often represent mathematical models of real world phenomena, and as such can be used to provide solutions (or approximate solutions) to real world problems, with some being more general than others. For example, the formula

F=ma

is an expression of Newton's second law, and is applicable to a wide range of physical situations. Other formulas, such as the use of the equation of a sine curve to model the movement of the tides in a bay, may be created to solve a particular problem. In all cases, however, formulas form the basis for calculations.

Expressions are distinct from formulas in the sense that they don't usually contain relations like equality (=) or inequality (<). Expressions denote a mathematical object, where as formulas denote a statement about mathematical objects.^[6]^[7]^{[dubious – discuss]} This is analogous to natural language, where a noun phrase refers to an object, and a whole sentence refers to a fact. For example, $8x-5$ is an expression, while $8x-5\geq 3$ is a formula.

However, in some areas mathematics, and in particular in computer algebra, formulas are viewed as expressions that can be evaluated to true or false, depending on the values that are given to the variables occurring in the expressions. For example $8x-5\geq 3$ takes the value false if $x$ is given a value less than 1, and the value true otherwise. (See Boolean expression)

In mathematical logic

In mathematical logic, a formula (often referred to as a well-formed formula) is an entity constructed using the symbols and formation rules of a given logical language.^[8] For example, in first-order logic,

\forall x\forall y(P(f(x))\rightarrow \neg (P(x)\rightarrow Q(f(y),x,z)))

is a formula, provided that $f$ is a unary function symbol, $P$ a unary predicate symbol, and $Q$ a ternary predicate symbol.

Chemical formulas

In modern chemistry, a chemical formula is a way of expressing information about the proportions of atoms that constitute a particular chemical compound, using a single line of chemical element symbols, numbers, and sometimes other symbols, such as parentheses, brackets, and plus (+) and minus (−) signs.^[9] For example, H₂O is the chemical formula for water, specifying that each molecule consists of two hydrogen (H) atoms and one oxygen (O) atom. Similarly, O⁻
₃ denotes an ozone molecule consisting of three oxygen atoms^[10] and a net negative charge.

{\ce {H-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-H}}

The structural formula for butane. There are three common non-pictorial types of chemical formulas for this molecule:

the empirical formula C₂H₅
the molecular formula C₄H₁₀ and
the condensed formula (or semi-structural formula) CH₃CH₂CH₂CH₃.

A chemical formula identifies each constituent element by its chemical symbol, and indicates the proportionate number of atoms of each element.

In empirical formulas, these proportions begin with a key element and then assign numbers of atoms of the other elements in the compound—as ratios to the key element. For molecular compounds, these ratio numbers can always be expressed as whole numbers. For example, the empirical formula of ethanol may be written C₂H₆O,^[11] because the molecules of ethanol all contain two carbon atoms, six hydrogen atoms, and one oxygen atom. Some types of ionic compounds, however, cannot be written as empirical formulas which contains only the whole numbers. An example is boron carbide, whose formula of CB_n is a variable non-whole number ratio, with n ranging from over 4 to more than 6.5.

When the chemical compound of the formula consists of simple molecules, chemical formulas often employ ways to suggest the structure of the molecule. There are several types of these formulas, including molecular formulas and condensed formulas. A molecular formula enumerates the number of atoms to reflect those in the molecule, so that the molecular formula for glucose is C₆H₁₂O₆ rather than the glucose empirical formula, which is CH₂O. Except for the very simple substances, molecular chemical formulas generally lack needed structural information, and might even be ambiguous in occasions.

A structural formula is a drawing that shows the location of each atom, and which atoms it binds to.

In computing

In computing, a formula typically describes a calculation, such as addition, to be performed on one or more variables. A formula is often implicitly provided in the form of a computer instruction such as.

Degrees Celsius = (5/9)*(Degrees Fahrenheit - 32)

In computer spreadsheet software, a formula indicating how to compute the value of a cell, say A3, could be written as

=A1+A2

where A1 and A2 refer to other cells (column A, row 1 or 2) within the spreadsheet. This is a shortcut for the "paper" form A3 = A1+A2, where A3 is, by convention, omitted because the result is always stored in the cell itself, making the stating of the name redundant.

Units

Formulas used in science almost always require a choice of units.^[12] Formulas are used to express relationships between various quantities, such as temperature, mass, or charge in physics; supply, profit, or demand in economics; or a wide range of other quantities in other disciplines.

An example of a formula used in science is Boltzmann's entropy formula. In statistical thermodynamics, it is a probability equation relating the entropy S of an ideal gas to the quantity W, which is the number of microstates corresponding to a given macrostate:

S=k\cdot \ln W

where k is the Boltzmann constant, equal to 1.380649×10⁻²³ J⋅K⁻¹, and W is the number of microstates consistent with the given macrostate.

References

^ Dijkstra, E.W. (July 1996), A first exploration of effective reasoning [EWD896]. (E.W. Dijkstra Archive, Center for American History, University of Texas at Austin)
^ "formula". Oxford English Dictionary (Online ed.). Oxford University Press. (Subscription or participating institution membership required.)
^ Smith, David E. (1958). History of Mathematics. New York: Dover Publications. ISBN 0-486-20430-8.
^ "Why do mathematicians use single letter variables?". math.stackexchange.com. 28 February 2011. Retrieved 31 December 2013.
^ "List of Mathematical formulas". andlearning.org. 24 August 2018.
^ Stoll, Robert R. Set Theory and Logic. San Francisco, CA: Dover Publications. ISBN 978-0-486-63829-4.
^ Hamilton, A. G. (1988), Logic for Mathematicians (2nd ed.), Cambridge: Cambridge University Press, ISBN 978-0-521-36865-0
^ Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (3rd ed.), New York, NY: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6
^ Atkins, P.W., Overton, T., Rourke, J., Weller, M. and Armstrong, F. Shriver and Atkins inorganic chemistry (4th edition) 2006 (Oxford University Press) ISBN 0-19-926463-5
^ "Ozone Chemistry". www.chm.bris.ac.uk. Retrieved 2019-11-26.
^ PubChem. "Ethanol". pubchem.ncbi.nlm.nih.gov. Retrieved 2019-11-26.
^ Haynes, William M., ed. (2013) [1914]. CRC Handbook of Chemistry and Physics, 94th Edition. Boca Raton: CRC Press. ISBN 978-1466571143.

[1] Dijkstra, E.W. (July 1996), A first exploration of effective reasoning [EWD896]. (E.W. Dijkstra Archive, Center for American History, University of Texas at Austin)

[oxford-2] "formula". Oxford English Dictionary (Online ed.). Oxford University Press. (Subscription or participating institution membership required.)

[3] Smith, David E. (1958). History of Mathematics. New York: Dover Publications. ISBN 0-486-20430-8.

[4] "Why do mathematicians use single letter variables?". math.stackexchange.com. 28 February 2011. Retrieved 31 December 2013.

[5] "List of Mathematical formulas". andlearning.org. 24 August 2018.

[6] Stoll, Robert R. Set Theory and Logic. San Francisco, CA: Dover Publications. ISBN 978-0-486-63829-4.

[7] Hamilton, A. G. (1988), Logic for Mathematicians (2nd ed.), Cambridge: Cambridge University Press, ISBN 978-0-521-36865-0

[8] Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (3rd ed.), New York, NY: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6

[9] Atkins, P.W., Overton, T., Rourke, J., Weller, M. and Armstrong, F. Shriver and Atkins inorganic chemistry (4th edition) 2006 (Oxford University Press) ISBN 0-19-926463-5

[10] "Ozone Chemistry". www.chm.bris.ac.uk. Retrieved 2019-11-26.

[11] PubChem. "Ethanol". pubchem.ncbi.nlm.nih.gov. Retrieved 2019-11-26.

[12] Haynes, William M., ed. (2013) [1914]. CRC Handbook of Chemistry and Physics, 94th Edition. Boca Raton: CRC Press. ISBN 978-1466571143.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]