Spring 2017 MATH 225B 001 LEC
Metamathematics
Schedule:
| Section | Days/Times | Location | Instructor | Class |
|---|---|---|---|---|
| 001 LEC | MoWeFr 12:00PM - 12:59PM | Evans 5 | Pierre Simon | 18340 |
| Units | Enrollment Status |
|---|---|
| 4 | Open |
Additional Information:
Prerequisites: 125B and 135
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:
