Tag Archives: Homotopy

The Poincaré conjecture | Relativité 21

June 08, 2016Relativity6604 vuesEdit

Topology, Homotopy and Poincaré’s Conjecture (Trek through Math 3/8)

January 30, 2016A Trek through 20th Century Mathematics2125 vuesEdit

Univalent Foundations of Mathematics

April 21, 2014Article2342 vuesEdit
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

March 25, 2013Article5752 vuesEdit
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.