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
James Freitag
Associate Professor
Email:
Matthew Harrison-Trainor
Assistant Professor
Phone:
Email:
Scott Mutchnik
Research Assistant Professor
Email:
Ronnie Nagloo
Associate Professor
Phone:
Email:
Upcoming Seminars Heading link
Nov
5
2024
Logic Seminar: Parameters in AC fields, by Bruno Poizat
Tuesday, 2:00 pm–2:50 pm
636 SEO
Nov
5
2024
Logic Seminar: Exchangeable random structures and quasirandomness, by Leonardo Coregliano
Tuesday, 4:00 pm–4:50 pm
636 SEO
Nov
12
2024
Logic Seminar: TBA, by Leo Jimenez
Tuesday, 4:00 pm–4:50 pm
636 SEO
Dec
3
2024
Logic Seminar: TBA, by Rachel Greenfeld
Tuesday, 4:00 pm–4:50 pm
636 SEO