MATH-M 584: RECURSION THEORY (3 credits)

About

Classes of recursive functions, models of computation, Church's thesis, normal forms, recursion theorem, recursively enumerable sets, reducibilities, undecidability results such as Church's Theorem, degrees of unsolvability, and complexity classes.