ComputerphileHomotopy Type Theory: Vladimir Voevodsky
2017 • E70 6 oct. 2017 6min
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.