18.515 Mathematical Logic


Class Info

More rigorous treatment of basic mathematical logic, Godel's theorems, and Zermelo-Fraenkel set theory. First-order logic. Models and satisfaction. Deduction and proof. Soundness and completeness. Compactness and its consequences. Quantifier elimination. Recursive sets and functions. Incompleteness and undecidability. Ordinals and cardinals. Set-theoretic formalization of mathematics.

This class has no prerequisites.

18.515 will be offered this semester (Spring 2018). It is instructed by .

This class counts for a total of 12 credits. This is a graduate-level class.

You can find more information at the 18.515: Mathematical Logic site or on the 18.515 Stellar site.

MIT 18.515 Mathematical Logic Related Textbooks
MIT 18.515 Mathematical Logic On The Web
18.515: Mathematical Logic
Tags
mathematics

© Copyright 2015