John P. Burgess presents an illuminating study of the nature of mathematical rigor and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerized formal proofs, and surveys many historical developments in mathematics, philosophy, and logic.