Course Title
Metamathematics
Course Description
Metamathematics of predicate logic. Completeness and compactness theorems. Interpolation theorem, definability, theory of models. Metamathematics of number theory, recursive functions, applications to truth and provability. Undecidable theories. Sequence begins fall.
Minimum
4
Maximum
4
Grading Basis
Default Letter Grade; S/U Option
Instructors
Staff
American Cultures Requirement
No
Reading and Composition Requirement
None of the Reading and Composition Requirement
Prerequisite
Complete ALL of the following Courses:
Complete ANY of the following Courses:
Repeat Rules
Course is not repeatable for credit.
Formats
Lecture
Term
Fall and Spring
Duration (in weeks)
15
Minimum Hours
3
Maximum Hours
3
Outside Work Hours Min
9
Maximum Hours
9