I worked for him for a while putting some of his papers in order to go to the Stanford library archives. His letters with Nash and Minksy were pretty interesting.