the parties and candidates themselves.
SCIENCE, TECHNOLOGY &ENVIRONMENT

Computerized Q.E.D.'s
'The Death of Proof" John Horgan, in Scientific American (Oct. 19931,415Madison Ave., New York,
N.Y.10017-1111.
When Princeton's Andrew J. Wiles announced last June that he had solved Format's last tlieo- rem, his fellow mathematicians gasped iii aston- ishment. More than 350 years ago, Pierre de Fermat claimed that he had found a proof of the proposition that for the equation Xn + Y" =...