The Middle Ages and an emphasis on calculation
The dawn of the modern age
Hilbert and the twentieth century
The tantalizing four-color theorem
Computer-generated proofs
The computer as an aid to teaching and a substitute for proof
Aspects of modern mathematical life
Beyond computers : the sociology of mathematical proof
A legacy of elusive proofs
John Horgan and "the death of proof?"