Tag Archives: Homotopy
The Poincaré conjecture | Relativité 21
Topology, Homotopy and Poincaré’s Conjecture (Trek through Math 3/8)
Univalent Foundations of Mathematics
In an effort to make mathematics more computable, a consortium of today's greatest mathematicians have laid out new foundations. Amazingly, they all lie upon one single axiom, called univalence. The goal of this axiom is to make formal mathematics more similar to informal mathematics. With univalence, our Arabic numbers aren't just like natural numbers; They are natural numbers. Univalence also has unforeseen and mesmerizing consequences.
Poincaré Conjecture and Homotopy
Poincaré conjecture is the most recent major proven theorem. Posited a century ago by Henri Poincaré, this major conjecture of topology was solved by Gregori Perelman. It has revolutionized our understanding of space and raised intriguing questions regarding the global structure of our Universe.