10 Daily Things


Homotopy Type Theory: Vladimir Voevodsky - Computerphile

2017-10-10 00:03 VideosTechnology 05:53 52 0 0
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


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


All rights reserved 10 Daily Things