Homotopy Type Theory: Vladimir Voevodsky - Computerphile
Voevodsky took his knowledge of abstract geometry and applied it to Computer Science, then took Computer Science principles and applied them to Mathematics. Professor Thorsten Altenkirch remembers him.
More on Homotopy Type Theory: https://youtu.be/Ft8R3-kPDdk
http://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: http://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Видео Homotopy Type Theory: Vladimir Voevodsky - Computerphile канала Computerphile
More on Homotopy Type Theory: https://youtu.be/Ft8R3-kPDdk
http://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: http://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Видео Homotopy Type Theory: Vladimir Voevodsky - Computerphile канала Computerphile
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Homotopy Type Theory Discussed - ComputerphileThe mathematical work of Vladimir Voevodsky - Dan GraysonNaïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)On Voevodsky's univalence principle - André JoyalA Taste of Topos Theory - Mark HopkinsAn Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky [2002]Computer Science ∩ Mathematics (Type Theory) - ComputerphileMichael Hopkins: Bernoulli numbers, homotopy groups, and MilnorComputational Type Theory [1/5] - Robert Harper - OPLSS 2018Computer Science and Homotopy Theory - Vladimir VoevodskyType Theory for the Working Rustacean - Dan PittmanThe Hardest Problem in Type Theory - ComputerphileWhy should you learn Type Theory?Why C is so Influential - ComputerphileUnivalent Foundations: New Foundations of Mathematics | Vladimir VoevodskyThierry COQUAND - Logic and topologyYOW! Lambda Jam 2019 - Bartosz Milewski - A Taste of Type Theory[Intro to HoTT] Martin-Löf Type Theory: Speaking the LanguageComputational Type Theory [5/5] - Robert Harper - OPLSS 2018Let's Talk About Sets - Numberphile