Computer Science H250 - Intro To Computation (colloq)

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.

This course is open to Commonwealth Honors College students only. NO OPTION FOR PASS/FAIL. STUDENTS MUST BE ENROLLED IN COMPSCI 250 (OR HAVE COMPLETED COMPSCI 250 WITH A GRADE OF B OR BETTER). REQUEST OVERRIDE VIA THE ON-LINE FORM: https://www.cics.umass.edu/overrides.