Annuaire
Webmail
Intranet
Homotopy type theory for mathematicians
Jeudi, 4 Février, 2021 - 15:30 à 16:30
Résumé :
Homotopy type can be regarded as the new foundation of maths, replacing the notion of set. We introduce two basic aspects of type: "Spaces as types" in homotopy theory and "Propositions as types" in logic. Then we show some examples of Proof Assistant(LEAN) based on type theory.
Part 2
Institution de l'orateur :
IF
Thème de recherche :
Compréhensible
Salle :
Salle 4/Zoom
