38783 liens
  • 41745

    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.

    Demande de confirmation

    Etes-vous sûr de vouloir continuer ?