Paul Bernays Lectures 2014
Vladimir Voevodsky, Institute for Advanced Study, Princeton, USA
Vladimir Voevodsky is full professor at the Institute for Advanced Study in Princeton. His main interests are in the intersection of algebraic geometry with algebraic topology, and he introduced together with Fabien Morel a homotopy theory for schemes. He has recently been involved in the homotopy type theory (HoTT) project which is being intensely discussed in mathematical logic and computer science. In 2002, he received the Fields Medal for his modern formulation of motivic cohomology and for its use in the proof of Milnor’s conjecture.
Portrait on ETH News: A new foundation for mathematics
Programme
Lecture 1: Foundations of mathematics – to the history of the conception
Tuesday, 9 September 2014, 5.00 p.m.
Lecture 2: Predicate logic and type theory – the 20th century
Wednesday, 10 September 2014, 2.15 p.m.
Lecture 3: Univalent foundations
Wednesday, 10 September 2014, 4.30 p.m.