Sat May 6, 2017
105 North Gate Hall, 9:30–10:45 AM
Jeremy Avigad (Carnegie Mellon University)
Modularity of Mathematics (Logic at UC Berkeley conference)
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.