Computerphile

Homotopy Type Theory: Vladimir Voevodsky (2017x70)

Data di messa in onda: Ott 06, 2017

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.