Equality

Equality of two mathematical objects is a seemingly simple and well-understood concept. In this talk, I will do three things to explain why this is a misconception: I will survey different notions of equality, explain how revising the notion of equality has led to an emerging alternative foundation of mathematics called "homotopy type theory", and try to convince you that thinking about equality is relevant to your research in quantum field theory, quantum gravity or quantum foundations.

Event Type: 
Seminar
Collection/Series: 
Scientific Area(s): 
Speaker(s): 
Event Date: 
Wednesday, May 21, 2014 - 14:00 to 15:30
Location: 
Lazaridis Theatre