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
James Freitag
Associate Professor
Email:
Matthew Harrison-Trainor
Assistant Professor
Phone:
Email:
Scott Mutchnik
Research Assistant Professor
Email:
Ronnie Nagloo
Associate Professor
Phone:
Email:
Caroline Terry
Associate Professor
Phone:
Email:
Gabriel Conant
Assistant Professor
Email:
Upcoming Seminars
Apr
8
2025
Logic Seminar: A Borovik-Cherlin bound for primitive pseudo-finite permutation groups, by Nick Ramsey
Tuesday, 3:30 pm–4:20 pm
636 SEO
Apr
15
2025
Logic Seminar: Quasirandomness of definable subsets of definable groups in finite fields, by Anand Pillay
Tuesday, 3:30 pm–4:20 pm
636 SEO
Apr
22
2025
Logic Seminar: TBA, by James Hanson
Tuesday, 3:30 pm–4:20 pm
636 SEO
Apr
29
2025
Logic Seminar: Differential-algebraic dimension in transserial tame pairs, by Nigel Pynn-Coates
Tuesday, 3:30 pm–4:20 pm
636 SEO