Fall 2015 MATH 225A 001 LEC

Metamathematics
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECTuTh 11-1230P 5 EVANSSCANLON, T54485
Units/CreditFinal Exam GroupEnrollment
49: WEDNESDAY, DECEMBER 16, 2015 8-11ALimit:24 Enrolled:14 Waitlist:0 Avail Seats:10 [on 10/04/15]
Additional Information: 

Prerequisites: 125B and 135.

Syllabus: 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: 

Homework: 

Course Webpage: