Vladimir Voevodsky, Professor, School of Mathematics, Institute for Advanced Study
[ Ссылка ]
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 [ Ссылка ]
