##### Department of Mathematics,

University of California San Diego

****************************

### Zoom for Thought

## Jack Jerry Garzella - Ph.D. Student

#### UC San Diego

## Type Theory: It's the New Set Theory

##### Abstract:

Set theory has long been considered the foundation of all mathematical thought. However, people who prove theorems on computers for a living don't use set theory anymore--and now some suggest that mathematicians should do the same. We'll discuss the problems people have with Set Theory and its main alternative, Type Theory.

### February 9, 2021

### 1:00 PM

### Please see email with subject ``Zoom for Thought Information''

****************************