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
Видео What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky канала 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
Видео What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky канала Institute for Advanced Study
Показать
Комментарии отсутствуют
Информация о видео
26 апреля 2012 г. 21:34:42
00:58:30
Другие видео канала
The mathematical work of Vladimir Voevodsky - Dan Grayson017 Some simple open problems in Mathematics by Joseph OesterleElements of Programming Style - Brian KernighanMultiple Concepts of Equality in the New Foundations of Mathematics by Vladimir VoevodskyKnots and Quantum Theory - Edward WittenPrimes and Equations | Richard TaylorFirewalls, AdS/CFT, and the Complexity of States and Unitaries...- Scott AaronsonUnivalent Foundations: New Foundations of Mathematics | Vladimir VoevodskyGalois, Grothendieck and Voevodsky - George ShabatAdS/CFT Correspondence, Part 1 - Juan MaldacenaThe Floer Jungle: 35 years of Floer Theory - Helmut HoferUnivalence from a computer science point-of-view - Dan LicataFive Stages of Accepting Constructive MathematicsDown the Rabbit Hole with Lewis Carroll and Leonard WeisgardLecture 1 Logical ConnectivesGathering in Remembrance of Vladimir VoevodskyThe Search for Randomness | Jean BourgainGames of the Ancient WorldThe Mathematical Truth | Enrico Bombieri