Spring 2023

MATH 225B 001 - LEC 001

Metamathematics

Gabriel T Goldberg

Jan 17, 2023 - May 05, 2023

Mo, We, Fr

12:00 pm - 12:59 pm

Evans 2

Class #:22177

Units: 4

Instruction Mode: In-Person Instruction

Offered through Mathematics

Current Enrollment

Total Open Seats: 4

Enrolled: 16

Waitlisted: 0

Capacity: 20

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.

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.