What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

Vladimir Voevodsky, Professor, School of Mathematics, Institute for Advanced Study http://www.ias.edu/people/faculty-and-emeriti/voevodsky In this lecture, Professor Vladimir Voevodsky begins with Gödel's second incompleteness theorem to discuss the possibility that the formal theory of first-order arithmetic may be inconsistent. This lecture 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. More videos at http://video.ias.edu