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 and Natural Sciences.