Archives pour la catégorie Badiou

#HoTT The Book 1.12 identity types

Source : #HoTT The Book 1.12 identity types

Publicités

Alain Badiou: séminaire « L’immanence des vérités » en présence de Monique Dixsaut, Quentin Meillassoux et Dimitri El Murr

Source : Alain Badiou: séminaire « L’immanence des vérités » en présence de Monique Dixsaut, Quentin Meillassoux et Dimitri El Murr

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Source : #HoTT : théorie homotopique des types une révolution des mathématiques ?