Undefined
ArithmeticIn mathematics, an expression is undefined when there is no valid value it can take, most commonly seen in division by zero.
Definition
An expression is undefined when it has no answer in mathematics. The most common example is dividing by zero.
Example
$5 / 0$ is undefined. You cannot split $5$ things into $0$ groups. No number times $0$ equals $5$, so the answer does not exist.
Key Insight
"Undefined" is not the same as "zero" or "infinity." It means the question itself has no valid answer in the number system.
Definition
An expression is undefined when it has no meaningful value within the given number system. Division by zero: $a/0$ is undefined for all $a$ because no number $q$ satisfies $0 \cdot q = a$ (if $a \neq 0$) or is non-unique (if $a = 0$). Other undefined expressions: $0^0$ (context-dependent), $0/0$ (indeterminate), $\sqrt{-1}$ in the reals.
Example
$0/0$ is indeterminate (not just undefined): it can approach any value in a limit: $\lim_{x \to 0} x/x = 1$, $\lim_{x \to 0} 2x/x = 2$, $\lim_{x \to 0} x^2/x = 0$.
Key Insight
Calculus resolves many "undefined" forms ($0/0$, $\infty/\infty$) using limits. These are called indeterminate forms, and L'Hopital's rule or algebraic simplification often reveals their true limiting value.
Definition
Undefined expressions in formal mathematics signal that a partial function is evaluated outside its domain. Division is defined as a function $\mathbb{R} \times (\mathbb{R}\setminus\{0\}) \to \mathbb{R}$; the input $(a, 0)$ is outside the domain. In extended real arithmetic (or the Riemann sphere $\mathbb{C} \cup \{\infty\}$), some "undefined" operations are given values by convention, but consistency requires sacrificing some algebraic laws.
Example
In IEEE 754 floating-point: $1.0/0.0 = +\text{Inf}$, $-1.0/0.0 = -\text{Inf}$, $0.0/0.0 = \text{NaN}$ (Not a Number). These are conventions for computational continuity, not mathematical truth.
Key Insight
The concept of "undefined" is foundational in computability theory: a Turing machine may fail to halt on some inputs, producing an undefined output. Partial functions (defined on a subset of their natural domain) are the model for all computable processes.