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

Can a Man Swim 5,500 Miles Across the Pacific Ocean? Introducing The Swim
Here’s What Stone Cold Steve Austin Believes In
g-conjecture – Numberphile
Seemingly Impossible 7th Grade Math Riddle – The Coded Table
7 Times The Dark Web Offended Your Idiotic Beliefs

Leave a Reply

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