2018 Fall
MATH 225A 001 - LEC 001
Metamathematics
Current Enrollment
Total Open Seats:
0
Enrolled:
Waitlisted:
Capacity:
Waitlist Max:
No Reserved Seats
Hours & Workload
3 hours of instructor presentation of course materials per week, and 9 hours of outside work hours per week.
Final Exam
MON, DECEMBER 10TH
11:30 am - 02:30 pm
Evans 31
Other classes by Thomas Scanlon
Course Catalog 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.
Rules & Requirements
Repeat Rules
Course is not repeatable for credit.
Reserved Seats
Current Enrollment
No Reserved Seats
Textbooks & Materials
Associated Sections
None