Univalent Foundations of Mathematics - S4A
A consortium of today's greatest mathematicians have laid out new foundations. They all lie upon one single axiom, called univalence. With univalence, our Arabic numbers aren't just like natural numbers; They are natural numbers. Univalence also has unforeseen and mesmerizing consequences.
Laisser un commentaire :
Connectez-vous pour laisser un commentaire.