Spring 2023 MATH 225B 001 LEC

Metamathematics
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECMoWeFr 12:00PM - 12:59PMEvans 2Gabriel T Goldberg22177
UnitsEnrollment StatusSession
4Open2023 Spring, January 17 - May 05
Additional Information: 

Prerequisites 125A and (135 or 136)

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.

Office 

Office Hours 

Required Text 

Recommended Reading 

Grading Letter grade.

Homework 

Course Webpage