Event Detail
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.