24.242 Logic II


Class Info

The central results of modern logic: the completeness of predicate logic, recursive functions, the incompleteness of arithmetic, the unprovability of consistency, the indefinability of truth, Skolem-Löwenheim theorems, and nonstandard models.

This class has 24.241 as a prerequisite.

24.242 will be offered this semester (Spring 2019). It is instructed by V. McGee.

Lecture occurs 9:30 AM to 11:00 AM on Mondays and Wednesdays in 56-167.

This class counts for a total of 12 credits. This class counts as a HASS H.

You can find more information at the MIT + 24.242 - Google Search site.

MIT 24.242 Logic II Related Textbooks
MIT 24.242 Logic II On The Web

© Copyright 2015