PIRSA Logo


PERIMETER INSTITUTE RECORDED SEMINAR ARCHIVE

PIRSA:14050063  ( MP4 Medium Res ) Which Format?
Equality
Speaker(s): Tobias Fritz
Abstract: 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.
Date: 21/05/2014 - 2:00 pm
Series: Colloquium
Valid XHTML 1.0!