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.

  • Demande de confirmation

    Etes-vous sûr de vouloir continuer ?