2025 Fall
MATH 225A 001 - LEC 001
Metamathematics
Andrew Marks
Class #:21973
Units: 4
Instruction Mode:
In-Person Instruction
Offered through
Mathematics
Current Enrollment
Total Open Seats:
30
Enrolled: 0
Waitlisted: 0
Capacity: 30
Waitlist Max: 5
No Reserved Seats
Hours & Workload
3 hours of instructor presentation of course materials per week, and 9 hours of outside work hours per week.
Other classes by Andrew Marks
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
See class syllabus or https://calstudentstore.berkeley.edu/textbooks for the most current information.
Guide to Open, Free, & Affordable Course Materials
Associated Sections
None