The death of proof. Scientific American 269(4):92–103 (1993)

by John Horgan