The Beauty of Mathematics

Hardy (1877–1947) was Britain's greatest number theorist, yet he wrote this little book at 62, convinced his creative powers were gone. He set out to answer a plain question: how does a man who gave his life to "useless" pure mathematics justify himself? His answer is not utilitarian but aesthetic—mathematics is worthwhile, first of all, because it is beautiful.

His central claim: a mathematician is of the same kind as a painter or a poet, a "maker of patterns," differing only in that the medium is ideas. And the first test of a mathematical pattern is its beauty—made of depth (the more fundamental the structure, the more beautiful), unexpectedness, inevitability (once seen, it could not be otherwise), and economy (the most achieved with the least).

He offers two proofs over two thousand years old as exemplars: that √2 is irrational (the Pythagoreans) and that the primes are infinite (Euclid). Both are short, both proceed by contradiction, both reach conclusions that are surprising yet, once grasped, feel self-evident. This, Hardy says, is the anatomy of beauty—and the proofs are "as fresh and significant as when they were discovered."

Deeper still, he is a mathematical realist: 317 is a prime not because we think so, but because it is so. For Hardy the mathematician is a discoverer, not an inventor; the patterns exist in an objective mathematical reality and we merely catch sight of them. Beauty, then, is not decoration but the mark of truth.

Hardy stakes all value on "pure uselessness," deliberately belittling applied mathematics—which reads as extreme today. The book is also steeped in a late-life melancholy ("mathematics is a young man's game"). But precisely because his stance is extreme, his distillation of beauty comes through unusually clear. Read it at a distance.

Lockhart opens with a nightmare parable: suppose music were taught the way math is—children spend years memorizing notation and scales and copying terminology, never allowed to touch an instrument or hear a single piece, on the grounds that they must "master the fundamentals before they earn the right to enjoy music." The result would be a nation that loathes music. This, he says, is exactly what we do to mathematics.

His central claim: mathematics is an art, an art of the imagination. Real mathematical activity is facing a problem—often one you posed yourself, say "when does the rectangle inscribed in a triangle have the largest area"—then guessing, trying, getting stuck, and finally arriving at a beautiful argument. The joy is entirely in that struggle and its release, which is exactly the part school deletes.

The disease lies in teaching only the what and stripping out the why: students memorize formulas and drill problem types, never learning where the rules came from or why they hold. A proof, which ought to be "the poetry of mathematics"—a convincing story about why it could not be otherwise—is degraded into a two-column fill-in-the-blanks ritual. Mathematics is reduced to an empty shell.

His constructive proposal: math class should look more like art class—give students real, enticing problems and let them explore, err, argue, discover. A beautiful proof is not a format but a successful explanation. Beauty lives in the moment of "I figured out for myself why."

Lockhart's critique is sharp but his constructive side is idealized: he says little about how to implement this under large classes and standardized tests, and dismisses all mechanical practice as harmful—overlooking that some fluency is necessary scaffolding for free exploration. Read it as inspiration, not an operating manual.

Eugenia Cheng (b. 1976) works in category theory—"the mathematics of mathematics"—and performs as a concert pianist on the side. She wants to dispel a misconception: math is not about numbers and computation, but "the logical study of how logical things work." What matters is process and relationship, not calculating fast.

Baking runs through the whole book: recipes, ingredients, methods. The real skill in cooking is not any one dish but mastering transferable methods. Math is the same—its true objects are the general structures abstracted out of piles of concrete examples.

The book's core move is abstraction: abstraction is decluttering the mind, putting aside the details you don't need right now—like clearing away the utensils you won't use before cooking, so the counter is clean and the structure becomes visible. Once you abstract, you find that "7 plus 5," "5 hours past 9 o'clock," and "turning a shape two steps then three"—may all share the same structure.

This is the categorical view: don't fixate on concrete objects, study the relationships (arrows) between them. It lets you see cross-domain analogies—the same abstract structure recurring in arithmetic, in symmetry, in music. For someone drawn to cross-disciplinary mapping, it is a handy tool: abstract first, then recognize "this is the same thing I've met elsewhere."

For the sake of accessibility the first half is light and easy, but when the second half enters category theory in earnest the threshold rises sharply and the general reader can fall behind; the baking analogies sometimes trade precision for warmth, and specialists will find them a touch too sweet. Take it as a door into abstraction, not a textbook on category theory.

Zhang Jingzhong (b. 1936) is an academician of the Chinese Academy of Sciences, a mathematician who has poured his life into mathematics education. The Mathematician's Eye is slim, yet the great geometer S. S. Chern, having read it, recommended it be translated into English. What it demonstrates is exactly the "beauty" Hardy and Lockhart describe in English—shown here in a Chinese voice.

His core idea is "educational mathematics": not the study of how to teach math, but the project of reshaping mathematics itself so it is better suited to teaching and learning. In his view much math is hard not in essence but because predecessors never tidied it up; math can be made easy.

He offers "four easies" as method: once it's familiar, it's easy; once it's simplified, it's easy; once it's understood, it's easy; once it's made intuitive, it's easy. The book demonstrates with ordinary problems—why must the three altitudes of a triangle meet at a single point? How does the single notion of area unify many seemingly unrelated theorems? Look with a mathematician's eye and a startling order appears beneath the clutter.

The "eye" is a way of seeing: first make the familiar strange (wait—why should three altitudes meet at one point?), then make it unified (ah, the same structure underneath). The layperson sees a heap of scattered formulas; the mathematician sees one structure reappearing in different disguises. Beauty lives in that moment of "so that's why."

The book is aimed at young readers, so its depth and systematic coverage are naturally limited and seasoned readers will find it thin; some passages and typesetting show their publication era. But as a model of "an original Chinese work that brings math to life," its value lies not in difficulty but in demonstrating an approachable, hands-on sense of mathematical beauty.