Registrar Home | Registrar Search:
Home | Subject Search | Help | Symbols Help | Pre-Reg Help | Final Exam Schedule | My Selections

MIT Subject Listing & Schedule
IAP/Spring 2025 Search Results

Searched for:

1 subject found.

24.242 Logic II
______

Not offered academic year 2024-2025Undergrad (Spring) HASS Humanities
Prereq: 24.141 or permission of instructor
Units: 3-0-9
______
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. Enrollment may be limited.
Staff