Spring 2016 MATH 225B 001 LEC

Metamathematics
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECTuTh 2-330P 31 EVANSSLAMAN, T54494
Units/CreditFinal Exam GroupEnrollment
42: MONDAY, MAY 9, 2016 1130-230PLimit:20 Enrolled:9 Waitlist:0 Avail Seats:11 [on 02/29/16]
Additional Information: 

Prerequisites: 125B and 135

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: