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 ww