Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics
Vladimir Voevodsky, Professor, School of Mathematics
http://www.ias.edu/people/faculty-and-emeriti/voevodsky
March 26, 2014
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, started at the Institute a few years ago, aims to lower the price by giving mathematicians the ability to verify their constructions with the help of computers. Voevodsky will explain how new ideas that make this goal attainable arise from the meeting of two streams of development—one in constructive mathematics and the theory and practice of programming languages, and the other in pure mathematics. The Institute for Advanced Study is pleased to designate this lecture in honor of the Princeton Adult School’s 75th Anniversary. The Institute supports and shares the Adult School’s mission to promote and foster lifelong learning and exploration in the Princeton community and beyond.
More videos at http://video.ias.edu
Видео Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky канала Institute for Advanced Study
Vladimir Voevodsky, Professor, School of Mathematics
http://www.ias.edu/people/faculty-and-emeriti/voevodsky
March 26, 2014
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, started at the Institute a few years ago, aims to lower the price by giving mathematicians the ability to verify their constructions with the help of computers. Voevodsky will explain how new ideas that make this goal attainable arise from the meeting of two streams of development—one in constructive mathematics and the theory and practice of programming languages, and the other in pure mathematics. The Institute for Advanced Study is pleased to designate this lecture in honor of the Princeton Adult School’s 75th Anniversary. The Institute supports and shares the Adult School’s mission to promote and foster lifelong learning and exploration in the Princeton community and beyond.
More videos at http://video.ias.edu
Видео Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky канала Institute for Advanced Study
Показать
Комментарии отсутствуют
Информация о видео
26 августа 2014 г. 2:59:40
00:50:13
Другие видео канала
![What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky](https://i.ytimg.com/vi/O45LaFsaqMA/default.jpg)
![Univalent Foundations Seminar - Steve Awodey](https://i.ytimg.com/vi/ogoWR-LPgl8/default.jpg)
![The mathematical work of Vladimir Voevodsky - Dan Grayson](https://i.ytimg.com/vi/BanMgvdKP8E/default.jpg)
![Five Stages of Accepting Constructive Mathematics - Andrej Bauer](https://i.ytimg.com/vi/21qPOReu4FI/default.jpg)
![Lie Algebras and Homotopy Theory - Jacob Lurie](https://i.ytimg.com/vi/LeaiPHAh0X0/default.jpg)
![Galois, Grothendieck and Voevodsky - George Shabat](https://i.ytimg.com/vi/bFZWarP2Ef4/default.jpg)
![Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)](https://i.ytimg.com/vi/bNG53SA4n48/default.jpg)
![On Voevodsky's univalence principle - André Joyal](https://i.ytimg.com/vi/HRBShaxIblI/default.jpg)
![Homotopy Type Theory and Internal Languages of Higher Categories](https://i.ytimg.com/vi/r3D03ZqQkj0/default.jpg)
![Gathering in Remembrance of Vladimir Voevodsky](https://i.ytimg.com/vi/vDzD7LYrrTU/default.jpg)
![Discrimination and Disparities with Thomas Sowell](https://i.ytimg.com/vi/U7hmTRT8tb4/default.jpg)
![A search for an algebraic equivalence analogue of motivic theories - Eric Friedlander](https://i.ytimg.com/vi/z0gxfw2XeGc/default.jpg)
!["Black Hole Magnetospheres"-AlexanderTchekhovskoy](https://i.ytimg.com/vi/DAh9fpj696U/default.jpg)
![Future Accelerators - Nima Arkani-Hamed](https://i.ytimg.com/vi/kTtBUgoxuxc/default.jpg)
![Homotopy Group - (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine](https://i.ytimg.com/vi/fJJ7NhkySXM/default.jpg)
![André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b](https://i.ytimg.com/vi/MxClaWFiGKw/default.jpg)
![Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)](https://i.ytimg.com/vi/cZsSzbNKCMM/default.jpg)
![Even spaces and motivic resolutions - Michael Hopkins](https://i.ytimg.com/vi/lZKZIHL7BnA/default.jpg)
![Towards elementary infinity-toposes - Michael Shulman](https://i.ytimg.com/vi/ld4YL787dAk/default.jpg)
![Complexity and Gravity II - Leonard Susskind](https://i.ytimg.com/vi/EA_H0X9oMb4/default.jpg)