La théorie homotopique des types ??

Cette vidéo est une brève introduction à la théorie homotopique des types.

0:25 L'univers des types
5:29 Les quantificateurs
10:52 Le tiers exclus
16:03 L'axiome du choix
19:13 L'égalité propositionnelle
25:16 Types, groupoïdes et homotopie

L'infini et les fondations mathématiques | Playlist Science4All
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t

Homotopy Type Theory | Book
https://homotopytypetheory.org/book/

Następny odcinek

S01E78 - La main invisible d'un mathématicien malveillant | Démocratie 1