2024 Fall
MATH 225A 001 - LEC 001
Metamathematics
Andrew Marks
Class #:22010
Units:4
Instruction Mode:
In-Person Instruction
Offered through
Mathematics
Current Enrollment
Total Open Seats:
6
Enrolled: 18
Waitlisted: 0
Capacity: 24
Waitlist Max: 5
No Reserved Seats
Hours & Workload
3 hours of instructor presentation of course materials, and 9 hours of outside work hours.
Final Exam
FRI, DECEMBER 20TH
08:00 am - 11:00 am
Dwinelle 130
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