PIRSA:14050063
( MP4 Medium Res ) Which Format?
Equality Speaker(s): Tobias Fritz
Abstract: Equality of two mathematical objects is a seemingly simple and wellunderstood 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.
Date: 21/05/2014  2:00 pm
Series: Colloquium
