Spring 2021 MATH 227A 001 LEC

Theory of Recursive Functions
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 09:30AM - 10:59AMInternet/OnlineTheodore Slaman33713
UnitsEnrollment StatusSession
4Open2021 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