Portraits of science. Kurt Gödel--separating truth from proof in mathematics.
Devlin
Keith
K
Center for the Study of Language and Information, Stanford University, Stanford, CA 94305-4115, USA. devlin@csli.stanford.edu