McGill.ca / Overview / All Courses
important

Note: McGill’s new Course Catalogue will replace the eCalendar. The Course Catalogue is expected to go live the week of April 22nd. When the new site is published, "mcgill.ca/study" will be redirected to the new Course Catalogue website.

Course information on this site is not reflective of offerings for the 2025–2026 academic year. Some irregularities may occur as we move operations to the incoming Course Catalogue.

MATH 318 Mathematical Logic (3 credits)

Offered by: Mathematics and Statistics (Faculty of Science)

Overview

Mathematics & Statistics (Sci) : Propositional logic: truth-tables, formal proof systems, completeness and compactness theorems, Boolean algebras; first-order logic: formal proofs, Gödel's completeness theorem; axiomatic theories; set theory; Cantor's theorem, axiom of choice and Zorn's lemma, Peano arithmetic; Gödel's incompleteness theorem.

Terms: Fall 2024

Instructors: Fortier, Jérôme (Fall)

Back to top