CSE 725 - Computability and Unsolvability

Spring 2012

Thought provoking links:

http://en.wikipedia.org/wiki/Hilbert's_tenth_problem
http://rjlipton.wordpress.com/2010/01/20/are-the-reals-really-uncountable/
http://en.wikipedia.org/wiki/Busy_beaver

Announcements:

Room changed to University Hall 014.
Fri April 6: class cancelled.

Textbook:

Introduction to the Theory of Computation, second edition. M. Sipser.

Syllabus:

PDF

Office hours:

By instructor, Tue 2-3pm in DL 495 or by appointment.
By grader, Yuwen Zhuang (zhuang.14 [at] buckeyemail.osu.edu), Tuesday 3:00pm-5:00pm, Thursday 3:00pm-5:00pm in 586 Dreese Laboratories

Problem Sets:

PS1 (due lecture on April 18th). Solutions.
PS2 (due lecture on May 16th). Solutions.
PS3 (due lecture on June 1st). Solutions.

Topics by lecture (tentative):