Logic at UC Berkeley Conference: Modularity of Mathematics

Seminar | May 6 | 9:30-10:45 a.m. | 105 North Gate Hall

 Jeremy Avigad, Carnegie Mellon University

 Department of Mathematics

In a wide range of fields, the word “modular” is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. In this talk, I will argue that mathematical knowledge can fruitfully be understood as having a modular structure, and explore the ways in which modularity in mathematics is epistemically advantageous.