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
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t

The Homotopy Type Theory Book
https://homotopytypetheory.org/2013/06/20/the-hott-book/

The Universal Turing Machine (ft. Rachid Guerraoui) | ZettaBytes
https://www.youtube.com/watch?v=PmZhFY3r_g8

Les machines de Turing | Math&Magique
https://www.youtube.com/watch?v=F9jjj0TaaKI

La machine de Turing | Passe-Science
https://www.youtube.com/watch?v=P66h8D5Lkwk

The LEGO Turing Machine
https://www.youtube.com/watch?v=cYw2ewoO6c4

Théorie des types dépendants et axiome d'univalence | Thierry Coquand (Séminaire Bourbaki)
https://www.youtube.com/watch?v=T_WcQpj-2to

Univalent foundations subsume classical mathematics | Andrej Bauer
http://math.andrej.com/2014/01/13/univalent-foundations-subsume-classical-mathematics/

Sometimes all functions are continuous | Andrej Bauer
http://math.andrej.com/2006/03/27/sometimes-all-functions-are-continuous/

Nästa avsnitt

S01E76 - L'axiome d'univalence | Infini 25