Computerphile

Homotopy Type Theory: Vladimir Voevodsky

2017 • E70    Oct 6, 2017    6m
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.

Where to Watch Computerphile - 2017 • E70

 

  •   
  •   
  •   
  •   
  •   
  •   
  •   

Take Plex everywhere

Watch free anytime, anywhere, on almost any device.
See the full list of supported devices