Рет қаралды 58,831
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
• L'infini et les fondat...
The Homotopy Type Theory Book
homotopytypeth...
The Universal Turing Machine (ft. Rachid Guerraoui) | ZettaBytes
• The Universal Turing M...
Les machines de Turing | Math&Magique
• Les machines de Turing...
La machine de Turing | Passe-Science
• La machine de Turing, ...
The LEGO Turing Machine
• The LEGO Turing Machine
Théorie des types dépendants et axiome d'univalence | Thierry Coquand (Séminaire Bourbaki)
• Séminaire Bourbaki - 2...
Univalent foundations subsume classical mathematics | Andrej Bauer
math.andrej.com...
Sometimes all functions are continuous | Andrej Bauer
math.andrej.com...