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

The coin flip conundrum – Po-Shen Loh
Valentine’s Day – Mental Floss Scatterbrained
Making Artificial Earthquakes with a Four-Tonne Steel Ball
L’incroyable pouvoir des nano-influenceurs | Edith Jolicoeur | TEDxQuébec
Another Singapore Birthday Math Problem Stumps The Internet

Leave a Reply

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