People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010 - Richard J. Lipton, Kenneth W. Regan (Springer)