Part V: Age of Rigor

Born in Turin, Lagrange became the most celebrated mathematician in Europe after Euler. His masterwork Mécanique Analytique (1788) reformulated all of classical mechanics using calculus of variations — no geometric diagrams, pure algebra throughout. He wrote in the preface: “No figures will be found in this work.”

The Lagrangian L = T − V (kinetic minus potential energy) remains the foundation of classical and quantum mechanics today. Lagrange also invented the method of Lagrange multipliers for constrained optimization, proved that every positive integer is a sum of four squares, and made decisive advances in number theory and celestial mechanics.

His work on polynomial equations — showing that no formula using radicals can solve the general quintic — directly inspired Galois and Abel a generation later. He was the first to clearly articulate what group theory would later formalize.

The most prolific analyst of the 19th century, Cauchy published over 800 papers. His pivotal contribution was rigorous foundations for calculus: he replaced Newton's vague “ultimate ratios” and Leibniz's “infinitesimals” with precise limit definitions in his Cours d'Analyse (1821).

Cauchy defined the limit formally: we say lim f(x) = L as x→a if for every ε > 0 there exists δ > 0 such that |f(x)−L| < ε whenever |x−a| < δ. This “epsilon-delta” formulation is still the definition used in every analysis course.

In complex analysis, Cauchy's integral theorem — that the integral of an analytic function around any closed curve is zero — is one of the deepest results in mathematics. The Cauchy-Riemann equations characterize complex differentiability. His work on convergence tests for series (ratio test, root test) remains standard curriculum.

An Irish child prodigy who taught himself 13 languages by age 13, Hamilton became Astronomer Royal of Ireland at 22 — while still an undergraduate. He reformulated Newtonian mechanics as the Hamiltonian formalism, using generalized coordinates and momenta. The Hamiltonian operator Ĥ remains central to quantum mechanics.

On 16 October 1843, while walking along the Royal Canal in Dublin, Hamilton had a sudden insight and carved the defining equations of the quaternions into a stone:

i² = j² = k² = ijk = −1

Quaternions were the first example of a non-commutative algebra (ij ≠ ji) — shattering the assumption that multiplication must commute. This opened the door to abstract algebra and was the conceptual precursor to Cayley's matrix algebra and Lie groups.

A German of extraordinary computational facility, Jacobi developed elliptic functions simultaneously and in competition with Abel, publishing his results in Fundamenta Nova(1829). His theory of theta functions — four specific infinite series with remarkable transformation properties — became central to 19th-century analysis.

The Jacobian determinant — the determinant of the matrix of partial derivatives of a vector function — bears his name and is indispensable in multivariable calculus and differential geometry. The Hamilton-Jacobi equation unifies classical and quantum mechanics through the action principle.

Jacobi was also notable for his lively, aggressive mathematical style. He famously dismissed applied mathematics, declaring: “It is the glory of science to be of no use.” He died at 46 during a smallpox epidemic in Berlin.

A student of Gauss, Dirichlet proved one of the 19th century's great theorems: any arithmetic progression a, a+d, a+2d, … where gcd(a,d) = 1 contains infinitely many primes. This required introducing Dirichlet L-functions — a revolutionary extension of the zeta function — and marked the birth of analytic number theory.

Dirichlet also gave the modern definition of a function — a rule assigning exactly one output to each input — replacing the earlier notion that functions must be “analytic” (given by a formula). He proved the Dirichlet convergence theorem for Fourier series, showing which functions can be so represented.

As Gauss's successor at Göttingen, Dirichlet then recommended Riemann as his own successor — an unbroken chain of mathematical genius from Gauss to Riemann.

Weierstrass worked as a high school teacher for 15 years before his mathematical papers were noticed and he was appointed professor at Berlin at age 40. He became known as the “Father of modern analysis” for placing all of calculus on rigorous arithmetic foundations — eliminating all appeals to geometric intuition.

His most famous result shocked the mathematical community: he constructed a function that is continuous everywhere but differentiable nowhere —

f(x) = Σ aⁿ cos(bⁿπx), 0 < a < 1, b odd, ab > 1 + 3π/2

This demolished the intuition that “continuous” implies “smooth.” He also gave the first rigorous proof of the Bolzano-Weierstrass theorem, proved every continuous function on [a,b] is bounded and attains its extrema, and founded the theory of analytic functions of several complex variables.

An English lawyer who spent 14 years at the bar while producing hundreds of mathematical papers, Cayley co-founded abstract group theory with Sylvester and introduced the notion of a group defined entirely by its multiplication table — abstracting away from specific realizations like permutations or rotations.

Cayley's theorem states that every finite group is isomorphic to a subgroup of a symmetric group — connecting abstract group theory back to permutations. More practically, Cayley's formalization of matrix algebra as its own algebraic system (with multiplication, addition, and inverses) proved essential to the development of quantum mechanics and all of modern linear algebra.

Cayley also contributed to the theory of algebraic curves, higher-dimensional geometry (he worked with spaces of 4 and more dimensions in the 1840s — a bold abstraction for the time), and invariant theory.

Hermite had a congenital malformation of his right foot and struggled with examinations his entire life — yet became one of the leading mathematicians of France. In 1873 he proved that e is transcendental (not a root of any polynomial with rational coefficients), the first proof that a specific “naturally occurring” number is transcendental. Lindemann adapted his methods to prove π transcendental in 1882.

Hermitian matrices (equal to their conjugate transpose, A† = A) bear his name; their eigenvalues are always real, making them fundamental to quantum mechanics — every observable is a Hermitian operator. He also solved the general quintic polynomial using elliptic modular functions, fulfilling Abel's program.

A Norwegian mathematician, Lie developed Lie groups — continuous symmetry groups described by differential equations — in the 1870s-80s. Starting from Felix Klein's Erlangen Program (geometry as the study of invariants under group transformations), Lie asked: what if the transformations form a continuous family parameterized by real numbers?

A Lie group like SO(3) (rotations in 3D space) is simultaneously a group and a smooth manifold. Its local structure is captured by the associated Lie algebra — the tangent space at the identity, with a bracket operation [X, Y].

Lie groups are now indispensable in theoretical physics: the Standard Model of particle physics is built on the gauge group SU(3) × SU(2) × U(1), and every fundamental symmetry of physics (rotational, Lorentz, gauge) is a Lie group. Lie's work was not fully appreciated until decades after his death.

Klein's 1872 Erlangen Program transformed geometry by defining each geometric system as the study of properties invariant under a particular group of transformations: Euclidean geometry preserves distance (rigid motions), projective geometry preserves collinearity (projective transformations), topology preserves continuity (homeomorphisms).

This unification was revolutionary — it showed that all known geometries (Euclidean, hyperbolic, projective, conformal) were different facets of one group-theoretic framework. Klein also made major contributions to complex function theory, automorphic functions, and the modular group.

The Klein bottle — a one-sided non-orientable surface with no boundary, generalizing the Möbius strip to a closed surface — is named for him. Klein was also an influential teacher and science administrator who built Göttingen into the world's leading mathematics center.

The first woman to obtain a doctorate in mathematics in Europe (Göttingen, 1874) and the first female professor of mathematics in the world (Stockholm, 1889), Kovalevskaya overcame extraordinary social barriers. She had to contract a fictitious marriage to escape Russia, since women were not permitted to study at university there.

Her doctoral thesis contained three papers, all of which would have been sufficient for the degree alone. The Cauchy-Kovalevskaya theorem — the fundamental existence theorem for solutions of partial differential equations — is one of the foundational results of PDE theory.

She also won the prestigious Prix Bordin in 1888 for her analysis of the rotation of a rigid body — solving a case (the “Kovalevskaya top”) that had eluded Euler and Lagrange. She died of pneumonia at 41.

The last great universalist — a mathematician who worked across every branch of the subject — Poincaré made foundational contributions to topology, complex analysis, celestial mechanics, special relativity, and chaos theory. His three-volume Les Méthodes Nouvelles de la Mécanique Céleste (1892–99) is the founding document of dynamical systems theory.

In studying the three-body problem, Poincaré discovered chaos — that deterministic systems can exhibit unpredictable behavior — 60 years before the concept was named. His Poincaré conjecture (1904) — that every simply-connected closed 3-manifold is homeomorphic to the 3-sphere — was the central open problem in topology for a century, finally solved by Perelman in 2003.

Poincaré also founded algebraic topology (using algebraic invariants to classify topological spaces) and contributed to the philosophy of mathematics, arguing for mathematical intuitionism and the creative role of the unconscious in discovery.

Described by Einstein as the most significant creative mathematical genius thus far produced in the history of women's higher education, Noether transformed abstract algebra and theoretical physics. Forced to lecture under Hilbert's name because Göttingen refused to appoint a female professor, she eventually became the intellectual center of the world's greatest mathematics department.

Noether's theorem (1915) — that every continuous symmetry of a physical system corresponds to a conservation law — is arguably the deepest result in all of physics. Translational symmetry → conservation of momentum. Rotational symmetry → conservation of angular momentum. Time-translation symmetry → conservation of energy.

In abstract algebra, she restructured ring theory around the concept of idealsand modules, replacing elaborate equation-manipulation with clean structural reasoning. A Noetherian ring — one in which every ascending chain of ideals terminates — is named for her and is a basic object in modern algebra and algebraic geometry.