Readings from Hofstadter's Godel, Esher, Bach: An Eternal Golden Braid, and discussion of these in connection with the material of COMPSCI 250. How can a formal proof in number theory be like a piece of classical music or a paradoxical drawing? What can formal logic tell us about the possibility of machine intelligence, or the nature of human intelligence? Students will report on and discuss their readings in the weekly seminar meeting, and each student will make an oral presentation at the end of the term.