Annuaire
Webmail
Intranet
Homotopy type theory for mathematicians
星期四, 28 一月, 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 1
Institution de l'orateur :
IF
Thème de recherche :
Compréhensible
Salle :
Salle 4/Zoom
