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