Search Results

24.242 Logic II

Prereq: 24.241 or permission of instructor
Acad Year 2017-2018: Not offered
Acad Year 2018-2019: U (Spring)

12 Units. HASS-H

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.

V. McGee

See more...