# 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