24.242 Logic II
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 not be offered this semester. It will be available in the Spring semester, and will be 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.
© Copyright 2015 Yasyf Mohamedali