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