MATH 6840

Last Updated

  • Schedule of Classes - January 5, 2026 3:59PM EST
  • Course Catalog - May 29, 2024 10:20AM EDT

MATH 6840
Recursion Theory

Course information provided by the 2025-2026 Catalog.

Covers theory of effectively computable functions; classification of recursively enumerable sets; degrees of recursive unsolvability; applications to logic; hierarchies; recursive functions of ordinals and higher type objects; generalized recursion theory.


Prerequisites/Corequisites Prerequisite: a course in first-order logic such as MATH 4810/PHIL 4310 or MATH 4860/CS 4860, or permission of instructor.

Last 4 Terms Offered 2025FA, 2021FA, 2019FA, 2017FA

When Offered Fall.

Comments Offered alternate years.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 18608 MATH 6840   LEC 001

  •  
    • MWF
    • Aug 25 - Dec 8, 2025

    • Solecki, S

  • Instruction Mode: In Person