Toute l’année dernière, une cinquantaine de mathématiciens et informaticiens s’est réunie à l’Institute for Advanced Study de Princeton autour de Steve Awodey, Thierry Coquand et Vladimir Voevodsky pour réfléchir aux Fondations univalentes des mathématiques. Ce qui en est issu est peut-être bien une nouvelle révolution, à la croisée de l’informatique, de la théorie de l’homotopie et des fondements des mathématiques.
ÉCRIT PAR
Antoine Chambert-Loir
Professeur - Université Paris Cité
Il est possible d’utiliser des commandes LaTeX pour rédiger des commentaires — mais nous ne recommandons pas d’en abuser ! Les formules mathématiques doivent être composées avec les balises .
Par exemple, on pourra écrire que sont les deux solutions complexes de l’équation .
Si vous souhaitez ajouter une figure ou déposer un fichier ou pour toute autre question, merci de vous adresser au secrétariat.