Spring 2025
MATH 225B 001 - LEC 001
Metamathematics
Gabriel T Goldberg
Class #:26117
Units: 4
Instruction Mode:
In-Person Instruction
Offered through
Mathematics
Current Enrollment
Total Open Seats:
11
Enrolled: 17
Waitlisted: 0
Capacity: 28
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.
Final Exam
FRI, MAY 16TH
07:00 pm - 10:00 pm
Evans 2
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
Reserved Seating For This Term
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