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

MIT Subject Listing & Schedule
Fall 2016 Search Results

Searched for: "18.515"    Subjects offered any term      

1 subject found.

18.515 Mathematical Logic
______

Graduate (Spring)
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