Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach.

Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.