Equality (mathematics)

• 1. Introduction

  ›

  Equality in mathematics rests on a symbol so familiar that most people never question it: the two parallel horizontal lines of the equals sign. Yet behind that simple notation lies a concept that mathematicians spent centuries trying to pin down precisely, and one that sparked genuine philosophical crisis at the turn of the 20th century. Who invented the equals sign, and why did it take nearly sixty years for anyone else to use it? How did an idea as basic as "these two things are the same" become a formal, contested object of study? And what does it even mean for two mathematical objects to be equal, rather than merely similar, or equivalent, or congruent? Those are the questions this documentary sets out to answer.

• 2. The Welsh Mathematician's Twin Lines

  ›

  Robert Recorde, a Welsh mathematician, introduced the now-universal equals sign in his 1557 book The Whetstone of Witte, just one year before his death. His original symbol was considerably wider than the version used today. Recorde called his creation "Gemowe lines", borrowing from the Latin gemellus, meaning twin, and he justified the choice by arguing that no two things could be more equal than two parallel lines of the same length.

  Before Recorde's invention, the concept of equality had no agreed-upon symbol. Mathematicians across different languages wrote it out in words: the Latin aequales or aequantur, the French esgale, the Dutch ghelijck, the German gleich, and sometimes simply an abbreviated form like aeq. Even earlier, Diophantus, writing around 250 AD in his Arithmetica, used a shorthand drawn from the Greek word isos, meaning equals, which is considered one of the earliest attempts at a symbolic representation.

  Despite Recorde's elegant solution, his symbol did not catch on quickly. After its 1557 debut, it went unused in print until 1618, a gap of sixty-one years, when it appeared in an anonymous appendix to Edward Wright's English translation of John Napier's Descriptio. It was not until 1631 that the symbol gained broader recognition in England. The adoption by both Isaac Newton and Gottfried Leibniz, aided by the spread of calculus, drove its eventual acceptance across the rest of Europe.

• 3. Properties the Greeks Knew But Never Named

  ›

  Euclid, working around 300 BC, included what he called "common notions" at the start of his Elements: that things equal to the same thing are equal to each other (transitivity), and that things which coincide with one another are equal (reflexivity). He did not call these properties of equality by name; he simply stated them as obvious truths and moved on.

  Giuseppe Peano was the first to formally name and symbolically state reflexivity, symmetry, and transitivity as general properties of equality, doing so in his Arithmetices principia published in 1889. The function-application property, the idea that if two quantities are equal then applying the same function to both gives equal results, also appeared in that work, though the underlying practice had been common in algebra since at least Diophantus in the third century.

  The substitution property has a separate lineage. Gottfried Leibniz, writing in his Discourse on Metaphysics around 1686, stated roughly that no two distinct things can share all their properties in common. This principle later split into two: the substitution property itself (if a equals b, then any property of a is a property of b) and its converse, the identity of indiscernibles. The formal introduction of Leibniz's Law into symbolic logic came through Bertrand Russell and Alfred Whitehead in their Principia Mathematica, completed between 1910 and 1913, where they credited Leibniz for the idea while claiming it followed from their own axiom of reducibility.

• 4. Crisis and Foundations

  ›

  At the turn of the 20th century, mathematics faced several simultaneous shocks. Bertrand Russell demonstrated a contradiction at the heart of naive set theory. The parallel postulate was shown to be unprovable. Mathematicians discovered theorems of arithmetic that Peano arithmetic could not prove. Together, these results produced what historians call the foundational crisis of mathematics.

  Gottlob Frege had published his Begriffsschrift in 1879, a text that shifted logic away from the Aristotelian focus on classes of objects toward a property-based predicate logic. His later works, the Foundations of Arithmetic in 1884 and the two-volume Basic Laws of Arithmetic in 1893 and 1903, attempted to derive all of mathematics from pure logic, a program known as logicism. Russell's paradox showed that Frege's system was flawed. The resolution came through Zermelo-Fraenkel set theory, developed by Ernst Zermelo and Abraham Fraenkel, which became the most widely accepted foundation for mathematics in the aftermath of the crisis.

  In this new framework, equality between sets is defined by the axiom of extensionality: two sets are equal if and only if they have exactly the same members. The question of how to define equality no longer required a philosophical answer about sameness in the abstract. It became a matter of formal stipulation, grounded in membership.

• 5. Equations, Identities, and Definitions

  ›

  An equation is a symbolic statement that two mathematical expressions share the same value, joined by the equals sign, and algebra is built around the task of finding which values of an unknown variable make that statement true. The balance scale provides a widely used teaching analogy: unknown masses sit on one side, known objects on the other, and solving the equation corresponds to adding and removing items until only the unknown remains.

  An identity is a stricter thing. Where an equation may be true only for specific values of a variable, an identity holds for every value in a given domain. The triple-bar notation sometimes used to distinguish identities from equations was introduced by Bernhard Riemann in his 1857 lectures on elliptic functions, though those lectures were not published until 1899.

  A third use of the equals sign involves definitions rather than claims. Writing that a symbol is equal by definition to some expression introduces a new shorthand into a formal system without asserting any empirical fact. The first recorded symbolic use of this "equal by definition" notation appeared in Logica Matematica, published in 1894 by the Italian mathematician Cesare Burali-Forti.

• 6. Equality's Relatives

  ›

  Equality is the strictest member of a family of related mathematical relations. An equivalence relation generalizes it: any binary relation that satisfies reflexivity, symmetry, and transitivity qualifies, and these three properties are enough to partition a set into disjoint equivalence classes. Congruence in modular arithmetic and similarity in geometry are both equivalence relations; they identify elements based on shared properties rather than literal sameness.

  In geometry, the word "equal" carried a much broader meaning through most of its history. Euclid and Archimedes used it to describe figures with the same area or figures that could be cut and rearranged into one another. Euclid stated the Pythagorean theorem in terms of squares being equal; Archimedes described a circle as equal to a rectangle with specific dimensions. Adrien-Marie Legendre introduced the term "equivalent" in 1867 to cover figures of equal area, and restricted "equal" to mean congruent. The modern schoolroom use of "congruent" for figures of the same shape and size became standard following a push by Andrey Kolmogorov to restructure geometry education through the lens of set theory, which gained traction around the 1960s.

  At a more abstract level, the concept of isomorphism describes a structure-preserving correspondence between two mathematical objects that treats them as essentially identical in form even if their elements differ. Bridging the philosophical gap between isomorphism and strict equality was one motivation for the development of category theory and for homotopy type theory and its univalent foundations program.

• 7. Equality in Computers and Logic

  ›

  In computer science, equality is expressed using relational operators, and the question of whether two real numbers are equal turns out to be harder than it sounds. Physical constraints limit how precisely computers can represent numbers. Real numbers are typically approximated by floating-point representations, where each number is stored as a significand scaled by an integer exponent, allowing a wide range of magnitudes but only at the cost of precision. As numbers grow larger in magnitude, their floating-point approximations become less precise.

  The difficulty goes deeper than hardware. Determining whether two real numbers defined by mathematical expressions involving integers, basic arithmetic operations, the logarithm, and the exponential function are equal is, provably, undecidable. No algorithm can exist that resolves such an equality in all cases. This result is known as Richardson's theorem.

  In formal logic, the substitution property creates its own subtleties. If the phrase "the number of planets in the solar system" stands for the number 8, then the substitution property might seem to imply that Johannes Kepler knew that the number 8 is 8, since he knew the number of planets was what it was. But that inference fails because the phrase and the numeral, while referring to the same object, carry different meanings. John Alan Robinson, working on resolution and automated theorem proving, was among the theoretical computer scientists who used equality elimination, also called paramodulation, as a rule of inference to navigate exactly these kinds of issues.