05 · Mathematics / Episteme

Mathematics

The grammar of the possible.

The one language the universe seems to answer in — certainty and astonishment arriving in the same breath.

Here reason audits itself and sometimes confesses. The country where a thing can be proven beyond all weather and empire — and where the sharpest proofs are the ones that mark the edge of proof.

Writing

Field notes

Essays and shorter notes — proofs treated as literature, and literature treated with proof’s seriousness.

“Mathematics, rightly viewed, possesses not only truth, but supreme beauty.” — Bertrand Russell, “The Study of Mathematics”

Curations

A short shelf

Works and minds I return to — the ones that made the abstraction feel inhabited.

A Mathematician’s Apology

G. H. Hardy

An aging number theorist defends his life’s work as an art, in prose so plain anyone can follow it. The finest account ever written of why proof feels less like building than like suddenly seeing.

Gödel, Escher, Bach

Douglas Hofstadter

A long braided argument that finds one self-referential loop running through a theorem, an etching, and a fugue, and insists that mind and meaning emerge from exactly this kind of strange tangle.

The Princeton Companion to Mathematics

Timothy Gowers (editor)

One volume that maps the entire living discipline, written by working mathematicians for the merely curious. The rare reference book a person reads straight through, for pleasure rather than lookup.

Euclid’s Elements

Euclid of Alexandria

The oldest textbook still taught, which raised a whole geometry from five plain assumptions and taught the West what it means to prove a thing rather than merely believe it.

From the bench

The Grammar of the Possible

A long essay arguing that mathematics is neither invented nor discovered but something stranger: the study of what any conceivable universe would have to obey, fixed before the first atom.