Fall 2015 MATH 136 001 LEC

Incompleteness and Undecidability
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECMWF 3-4P 70 EVANSMONTALBAN, A54293
Units/CreditFinal Exam GroupEnrollment
48: TUESDAY, DECEMBER 15, 2015 7-10PLimit:39 Enrolled:31 Waitlist:0 Avail Seats:8 [on 10/04/15]
Additional Information: 

Prerequisites: 53, 54, and 55.

Syllabus: Functions computable by algorithm, Turing machines, Church's thesis. Unsolvability of the halting problem, Rice's theorem. Recursively enumerable sets, creative sets, many-one reductions. Self-referential programs. Godel's incompleteness theorems, undecidability of validity, decidable and undecidable theories.

Office: 

Office Hours: 

Required Text: 

Recommended Reading: 

Grading: 

Homework: 

Course Webpage: