The Word That Poisoned Mathematics

There is a kind of damage that arrives not through ignorance but through a name. A name can encode a verdict before the trial begins — install a suspicion so early in a student's encounter with an idea that the idea never quite recovers. Mathematics has suffered this, methodically and for centuries, through a word chosen not to describe but to dismiss. That word is imaginary. And its consequences have compounded quietly through every generation of students who arrived at the square root of negative one and were told, by the name itself, that they were about to do something false.

#A History of Evasion

The trouble began with a question that polynomial algebra could not ignore. In the sixteenth century, Italian mathematicians were competing — sometimes ferociously, sometimes in public contests — over methods for solving cubic equations. Scipione del Ferro, Niccolò Tartaglia, and Gerolamo Cardano each played a part in developing what is now called Cardano's formula, a general method for finding roots of cubics of the form :

The formula worked. But it had a structural embarrassment: certain cubics that were known to have three perfectly real, perfectly respectable solutions produced intermediate steps involving the square root of a negative number. The mathematics was producing an answer you could verify, via a route that seemed to pass through impossible territory.

The case that forced the issue was the cubic . The solution is obviously — you can check it by hand. But applying Cardano's formula to this equation yields:

This is sitting in the middle of a calculation whose output is a real integer. Cardano himself called such quantities sophistic and largely refused to engage with them. The temptation, and the widespread response, was to treat these expressions as a formal nuisance — a step in the working to be tolerated and then discarded once the real answer appeared.

Rafael Bombelli refused that evasion. In his L'Algebra of 1572, he confronted the problem directly. He reasoned that if for some real and , then cubing both sides and matching real and imaginary parts gives:

Guessing , : both equations hold. Therefore , and by symmetry , giving:

The impossibility cancels. The real answer emerges. Bombelli's contribution was not to explain what was — he called it, with a kind of pragmatic honesty, più di meno (more than minus) — but to demonstrate that it could be manipulated coherently, that it obeyed rules, and that taking it seriously rather than dismissing it was the only way to make the arithmetic work.

This was mathematics using a concept it did not yet understand, and arriving at correct answers. The appropriate response was curiosity. What arrived instead, sixty-five years later, was Descartes.

#Descartes Names the Verdict

In La Géométrie of 1637, René Descartes coined the term imaginaire. His intent was not to celebrate these numbers or to acknowledge their utility — Bombelli had already demonstrated that — but to quarantine them. For Descartes, numbers were ultimately grounded in geometric lengths and magnitudes. A quantity that could not correspond to a spatial measurement was not, in any serious sense, a quantity at all. The term was a philosophical ruling disguised as a label.

It stuck. And it stuck in the worst possible way: not as specialist jargon that students learn to see through, but as the name students encounter first, before they know enough to question it. Imaginary encodes the verdict that these numbers are not real — in the colloquial, not just the mathematical sense — before any instruction has begun. The student who arrives at carrying the word imaginary has already been told the conclusion.

Leonhard Euler worked with these numbers without apology. He introduced the notation for around 1777 and deployed it throughout his work in analysis. His formula:

demonstrated that the exponential function, the trigonometric functions, and the lateral unit are all aspects of a single structure. At , this gives what is now called Euler's identity:

Euler used this machinery because it worked — because it unified disparate areas of mathematics and produced results that could be independently verified. He was not troubled by the name. The name, for him, was not the mathematics. But Euler was Euler. The name troubled everyone else.

#What Gauss Understood

Carl Friedrich Gauss had no patience for the confusion and, unusually, understood its source precisely. In an 1831 paper on the metaphysics of complex numbers, he noted that the term imaginary quantity was rooted in a false conception and had caused precisely the damage you would predict from naming a mathematical object after its supposed non-existence. He proposed instead that , , and be called direct, inverse, and lateral units respectively.

Lateral is geometrically exact in a way that imaginary never was. The complex plane has two axes — real and lateral — and marks the unit step along the lateral axis. Multiplying any number by performs a rotation of 90° counterclockwise in that plane. The operation has a precise geometric meaning:

The magnitude is preserved. The angle increases by . That is all that happens. There is nothing impossible about it; there is nothing that requires qualification or apology. Lateral describes what the unit does. Imaginary describes what Descartes thought of it.

Gauss lost the nomenclature battle. The word had two centuries of institutional momentum behind it by the time he objected, and imaginary has remained the standard term in every textbook since. But his diagnosis was correct, and the argument for rehabilitation is not nostalgic — it is structural. The damage is still being paid, in every classroom, year after year.

#The Polar Question

A separate but related problem concerns how the arithmetic is framed.

Complex numbers have two natural representations. The first is rectangular, or Cartesian:

where is the real component and the lateral component. The second is polar:

where is the modulus and is the argument — the angle the number makes with the positive real axis.

Multiplication is where polar form reveals its character. Given two complex numbers and :

Multiply the magnitudes. Add the angles. The algebra is two operations on two numbers. What this exposes is that multiplication is fundamentally geometric: it is rotation and scaling in the plane, not iteration of addition along a line. The claim that multiplication is repeated addition is a description of a special case — non-negative integers along a single axis — that the curriculum has somehow elevated into a definition.

The instinct to teach polar form earlier, perhaps as the primary frame, is therefore sound. But there is a structural difficulty: addition is not clean in polar coordinates. To add and expressed as magnitude-angle pairs, you must convert to rectangular, add component-wise, and convert back. For the operations children encounter first and rehearse most heavily in primary education, rectangular is the natural frame.

The stronger proposal is not polar-primary wholesale. It is this: teach multiplication as rotation and scaling from the beginning, while retaining rectangular form for addition. Introduce the duality as two languages for the same object, each better suited to certain operations, rather than presenting them as separate topics that happen to share notation.

#What Changes If You Do This

The payoff is not local. Reframing multiplication at the root reshapes the entire downstream curriculum, because the downstream curriculum is mostly one idea expressed at different levels of zoom.

Negative numbers stop being philosophically strange. Under the current framing, sits to the left of zero on a number line, pointing in the wrong direction, governed by a rule — two negatives make a positive — that students memorise without understanding. The rule is not wrong; it is just missing its reason. Teach multiplication as rotation and the reason is immediate: is a rotation by radians. Multiplying by twice is two half-turns, which returns you to the start. The rule is not an axiom; it is a geometric consequence.

The number line announces its own incompleteness. A line is one-dimensional. The moment multiplication is understood as rotation, a line is an insufficient stage — you need a plane to rotate in. The student who internalises this early does not experience 2D numbers as a strange extension grafted onto the real line in secondary school. They experience them as the natural habitat of an operation they already know.

The lateral unit becomes a discovery, not an imposition. If corresponds to a rotation of and corresponds to a rotation of , then the question presents itself without any prompt: what corresponds to a rotation of ? The answer is . The student has not been handed a new piece of mathematical machinery alongside an apology. They have followed a logical consequence to its natural end. The lateral unit is the answer to a question the curriculum itself raised.

Euler's identity loses its air of miracle. is routinely presented as one of mathematics' great coincidences, five constants in one equation. It is neither coincidental nor miraculous — it is what happens when a rotation by radians is expressed in the language of the exponential function. Students who arrive at it through this route do not experience revelation. They experience recognition.

These are not four separate insights. They are one insight at four different levels of resolution. The fragmentation that makes the mathematics curriculum feel like a sequence of unrelated shocks is a teaching artefact. It is not inherent to the mathematics.

#The Unit in Nature

There is a harder argument still: that the lateral unit is not merely useful in physics but structurally necessary — that the universe, at its most fundamental level, does not run on real numbers.

The time-dependent Schrödinger equation, which governs the evolution of quantum systems, is:

or in the compact Hamiltonian form:

The on the left-hand side is not a notational convenience. It is load-bearing. The wave function is complex-valued — it takes values in , not — and the in the equation is what makes its time evolution rotational in the complex plane rather than exponential along the real line. Without it, the wave function would not oscillate; it would grow or decay, and the probability interpretation — where gives the probability density and must therefore integrate to one and remain normalised over time — would collapse immediately.

Interference, the phenomenon that distinguishes quantum mechanics most sharply from classical probability, requires complex amplitudes precisely because it requires phases. Two probability amplitudes and interfere as:

The cross term is the interference term. It depends on the relative phase between the two amplitudes — information that exists in complex numbers and has no analogue in real ones. Remove the complex structure and interference vanishes. Remove interference and you no longer have quantum mechanics.

This is not an abstract point. In 2021, a paper in Nature by Chen et al. reported experiments demonstrating, via a three-particle entanglement inequality, that any formulation of quantum mechanics over real numbers cannot reproduce the full set of quantum correlations. The complex number structure of quantum theory is not a convenient mathematical choice. It is a constraint imposed by nature.

The student taught to regard as imaginary — as a sophistic convenience, a computational ghost that cancels out before the real answer appears — is being prepared badly for physics. In quantum mechanics, the lateral unit does not cancel out. It is part of the answer.

#The Tragedy of the Upstream Fix

The problem with this entire proposal is that the fix is upstream of where specialists operate.

The change required is not in how complex analysis is taught at university, or even how complex numbers are introduced in secondary school. It is in how multiplication is introduced to seven-year-olds. It requires revising the most foundational concept in arithmetic, at the earliest stage of formal education, in institutions governed by curriculum bodies that move on timescales measured in decades. The people most qualified to advocate for it — mathematicians, physicists, engineers who use complex numbers daily — are the people who have already cleared the hurdles and, typically, cannot remember what made them hard. Competence erases the memory of difficulty faster than pedagogy corrects for it.

So the word imaginary persists. The rotation stays hidden. The shocking revelations are scheduled one per syllabus year — negative numbers in one year, complex numbers years later, Euler's identity as an optional curiosity, quantum mechanics as a final-year surprise — in the order that history, not logic, dictates.

None of this is inevitable. The name was chosen poorly and early; it could be chosen better. The framing of multiplication was fixed at a special case; it could be fixed at the general one. The duality of rectangular and polar could be introduced as a feature rather than deferred as an advanced topic. Lateral numbers could arrive in the curriculum as the answer to a question students have already asked, rather than as the beginning of a defensive explanation.

These are choices. They were made once, they were never revisited, and they are now transmitted as if they were the shape of the subject itself. They are not. They are the shape of a historical moment that has outlasted its justification by four centuries.