<p>Lecture, three hours. Requisite: course M114S. Fundamental methods and results in mathematical logic, using mathematical methods to reason about existence or nonexistence of proofs and computations in many different settings. Topics include compactness theorem, saturation of models, completeness and incompleteness theorems of Gödel, Turing computability and degrees of unsolvability, recursion in Baire space, Zermelo/Fraenkel axioms, universe of constructible sets, and related equiconsistency results in set theory. S/U or letter grading.</p>

Mathematics

Combining rigorous, inclusive pedagogy with opportunities for co-curricular activities—including research, internships, and community engagement—the College provides students with diverse learning experiences that helps them thrive, become critical thinkers, and transform society.

College of Letters and Science

The department explores the frontiers of pure and applied mathematical research.

General Catalog

Mathematical Logic

MATH 220B

4 units