Cornell Math - MATH 681, Spring 2005

MATH 681: Logic (Spring 2005)

Instructor: Barbara Csima

Meeting Time & Room

A first graduate course in logic at a rapid pace. We introduce the concepts of formal provability and logical consequence, and prove their equivalence in the soundness and completeness theorems. We discuss Godel's incompleteness theorems. Along the way we give introductions to model theory and computability (recursion) theory. We also give an introduction to set theory.