On Sunday, October 8, 2017, the Institute hosted a gathering in remembrance of Vladimir Voevodsky, Professor in the School of Mathematics. Friends, family, and the Institute...
This exhibition features twenty photographs taken in and around the Institute Woods by Professor Vladimir Voevodsky from 2002–05. The images capture the remarkable range of insect, bird, animal, and plant life in the Woods, and offer a compelling...
In January 1984, Alexander Grothendieck submitted to the French National Centre for Scientific Research his proposal “Esquisse d’un Programme.” Soon copies of this text started circulating among mathematicians. A few months later, as a first-year...
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,...
In 2012–13, the Institute’s School of Mathematics hosted a special year devoted to the topic “Univalent Foundations of Mathematics,” organized by Steve Awodey, Professor at Carnegie Mellon University, Thierry Coquand, Professor at the University...
Since spring, and even before that, I have participated in a great collaborative effort to write a book on homotopy type theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory....
This lecture, presented by Vladimir Voevodsky, Professor in the School of Mathematics, was part of the Institute for Advanced Study’s celebration of its eightieth anniversary, and took place during the events related to the Schools of Mathematics...