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

Video recordings

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.

 

Poster Paul Bernays Lectures 2014
JavaScript has been disabled in your browser