Fall 2022 MATH 225A 001 LEC
Metamathematics
Schedule:
| Section | Days/Times | Location | Instructor | Class |
|---|---|---|---|---|
| 001 LEC | TuTh 12:30PM - 01:59PM | Evans 65 | Thomas Scanlon, Antonio Montalban | 21962 |
| Units | Enrollment Status | Session |
|---|---|---|
| 4 | Open | 2022 Fall, August 24 - December 09 |
Additional Information:
Prerequisites 125A and (135 or 136)
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.
Office
Office Hours
Required Text
Recommended Reading
Grading Letter grade.
Homework
Course Webpage
