Spring 2024
MATH 225B 001 - LEC 001
Metamathematics
Andrew Marks
Class #:25755
Units:4
Instruction Mode:
In-Person Instruction
Offered through
Mathematics
Current Enrollment
Total Open Seats:
18
Enrolled: 6
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
THU, MAY 9TH
03:00 pm - 06:00 pm
Evans 891
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