La théorie des types | Infini 24

La théorie des types est une alternative à la théorie des ensembles. J’essaie de vous en présenter quelques grandes idées ici. L’infini et les fondations mathématiques | Playlist Science4All The Homotopy Type Theory Book The Universal Turing Machine (ft. Rachid Guerraoui) | ZettaBytes Les machines de Turing | Math&Magique https://ww