Scientific American October 1993The Death of ProofComputers are transforming the way mathematicians discover, prove and communicate ideas, but is there a place for absolute certainty in this brave new world?By John Horgan on October 1, 1993