Homotopy Type Theory: Vladimir Voevodsky – Computerphile

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…

Products You May Like

Articles You May Like

7 Times Scientists Made Our Brains Swell
Can Science Shape Human Values?
Bowl Riddle Solution (Plus 2 BONUS riddles) ft. Kurt Hugo Schneider part 2/3
A Fix for the Imperiled North Atlantic Right Whale | Michael Moore | TEDxProvincetown
Does America care more about guns than kids? | Arne Duncan

Leave a Reply

Your email address will not be published. Required fields are marked *