MATH 260B. Mathematical Logic II (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/MATH.html#math260b
Description
Theory of computation and recursive function theory, Church’s thesis, computability and undecidability. Feasible computability and complexity. Peano arithmetic and the incompleteness theorems, nonstandard models. Prerequisites: MATH 260A or consent of instructor.
Prerequisite courses
Loading...
Successor courses
No courses have MATH 260B as a prerequisite.