# Difference between revisions of "List of problems in mathematical notation"

From Learning

(2 intermediate revisions by the same user not shown) | |||

Line 9: | Line 9: | ||

| Type error | | Type error | ||

|- | |- | ||

− | | Failure of Leibniz law | + | | Failure of Leibniz law, "same object denotes different things" || in probability, where <math>\Pr(X=x)</math> is abbreviated <math>\Pr(x)</math>. Then if we take something like <math>x:=3</math>, we would have <math>\Pr(3)</math>, but now we have lost the information about what random variable we are talking about. |

+ | |- | ||

+ | | "different objects denoted by the same thing" || see e.g. [https://machinelearning.subwiki.org/wiki/User:IssaRice/Type_checking_Pearl's_belief_propagation_notation here], where <math>M_{y\,|\,x}</math> can mean two different things on each side of an equation. | ||

|- | |- | ||

| Omission of index || Writing things like <math>\sum_i f(x_i)</math> (unclear what set the index ranges over, or the order in which the terms are added, which can sometimes [[wikipedia:Riemann series theorem|matter]]) or even just <math>\sum f(x_i)</math> (unclear which variable is the index). | | Omission of index || Writing things like <math>\sum_i f(x_i)</math> (unclear what set the index ranges over, or the order in which the terms are added, which can sometimes [[wikipedia:Riemann series theorem|matter]]) or even just <math>\sum f(x_i)</math> (unclear which variable is the index). | ||

Line 16: | Line 18: | ||

|- | |- | ||

| Undefined operations || e.g. I often see in mathematical logic things like <math>\Gamma \cup \phi</math> to mean <math>\Gamma \cup \{\phi\}</math>, where <math>\Gamma</math> is a set of formulas and <math>\phi</math> is a formula. | | Undefined operations || e.g. I often see in mathematical logic things like <math>\Gamma \cup \phi</math> to mean <math>\Gamma \cup \{\phi\}</math>, where <math>\Gamma</math> is a set of formulas and <math>\phi</math> is a formula. | ||

+ | |- | ||

+ | | strange reorderings based on context || e.g. https://machinelearning.subwiki.org/wiki/User:IssaRice/Minus_notation_in_game_theory | ||

|} | |} | ||

[[Category:Mathematics]] | [[Category:Mathematics]] |

## Latest revision as of 04:14, 19 February 2019

This page gives a **list of problems in mathematical notation**. The list focuses on problems with the symbolism of mathematics rather than other communication problems/conventions (such as using "if" to mean "iff" in definitions, not introducing variables, etc.).

Name | Description | How to avoid |
---|---|---|

Overloading/abuse of notation | This happens when the same symbol is used for different purposes. For instance, parentheses are used to group expressions, for writing tuples, for function calls, in superscripts or subscripts with various meanings ( for the th derivative or the th function in some sequence), and so forth. The equals sign is often used for equality both in the object language and the metalanguage in mathematical logic, and used as part of the expression to define an event in probability. 0 in linear algebra to mean the scalar 0 as well as the 0 vector of any dimension. | |

Type error | ||

Failure of Leibniz law, "same object denotes different things" | in probability, where is abbreviated . Then if we take something like , we would have , but now we have lost the information about what random variable we are talking about. | |

"different objects denoted by the same thing" | see e.g. here, where can mean two different things on each side of an equation. | |

Omission of index | Writing things like (unclear what set the index ranges over, or the order in which the terms are added, which can sometimes matter) or even just (unclear which variable is the index). | |

Ambiguous order of operations | e.g. | |

Undefined operations | e.g. I often see in mathematical logic things like to mean , where is a set of formulas and is a formula. | |

strange reorderings based on context | e.g. https://machinelearning.subwiki.org/wiki/User:IssaRice/Minus_notation_in_game_theory |