|
Home
| Subject Search
| Help
| Symbols Help
| Pre-Reg Help
| Final Exam Schedule
| My Selections
|
Searched for: "18.515" Subjects offered any term 1 subject found.
18.515 Mathematical Logic
(
)
Not offered regularly; consult department
Prereq: Permission of instructor
Units: 3-0-9
URL: http://math.mit.edu/classes/18.515![]()
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.
Information: B. Poonen