À la croisée des fondements des mathématiques, de l’informatique et de la topologie

Théorie homotopique des types

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.

Lire l’article en ligne