Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

Univalent Foundations: New Foundations of Mathematics Vladimir Voevodsky, Professor, School of Mathematics March 26, 2014 In Voevodsky’s experience, the work of a mathematician is 5% creative insight and 95% self-verification. Moreover, the more original the insight, the more one has to pay for it later in self-verification work. The Univalent Foundations project, started at the Institute a few years ago, aims to lower the price by giving mathematic