Logic

Mathematical logic is a branch of mathematics that deals with formal systems, symbolic logic, and the study of mathematical reasoning. It focuses on understanding the nature of mathematical reasoning and provides tools for analyzing the structure of mathematical arguments and proofs.  At MSCS, faculty members work in computability theory, model theory, and in applications of those to other areas of mathematics such as algebra, combinatorics, geometry and number theory.

Faculty Heading link

Upcoming Seminars Heading link

Feb 4 2025

Logic Seminar: Model Theoretic Events, by Kyle Gannon

Tuesday, 3:30 pm–4:20 pm
636 SEO
Mar 18 2025

Logic Seminar: tba, by Christine Eagles

Tuesday, 3:30 pm–4:20 pm
636 SEO