Spring 2021 MATH 227A 001 LEC
Theory of Recursive Functions
Schedule:
Section | Days/Times | Location | Instructor | Class |
---|---|---|---|---|
001 LEC | TuTh 09:30AM - 10:59AM | Internet/Online | Theodore Slaman | 33713 |
Units | Enrollment Status | Session |
---|---|---|
4 | Open | 2021 Spring, January 19 - May 07 |
Additional Information:
Prerequisites Mathematics 225B
Description Recursive and recursively enumerable sets of natural numbers; characterizations, significance, and classification. Relativization, degrees of unsolvability. The recursion theorem. Constructive ordinals, the hyperarithmetical and analytical hierarchies. Recursive objects of higher type. Sequence begins fall.
Office
Office Hours
Required Text
Recommended Reading
Grading Letter grade.
Homework
Course Webpage