Séminaire - La philosophie de la pratique des mathématiques - Mathématiques et profondeur

06 - La théorie de la complexité II : Formules, programmes branchés et le théorème de Barrington

Séminaire - La philosophie de la pratique des mathématiques - Structures et repères en mathématiques

05 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)

Séminaire - La philosophie de la pratique des mathématiques - Intelligence artificielle et mathématiques – Comment les modèles de langage apprennent l'arithmétique

04 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)

Séminaire - La philosophie de la pratique des mathématiques - Using AI and Code to Solve Olympiad Mathematics Problems

03 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (I)

Séminaire - La philosophie de la pratique des mathématiques - Généraliser : comment le faire et pourquoi le faire

02 - La théorie de la complexité II : Relations simples entre les classes de complexité

Séminaire - La philosophie de la pratique des mathématiques - Silvia de Toffoli : How to Prove Things With Diagrams

01 - La théorie de la complexité II : Introduction à plusieurs classes de complexité

Séminaire - La philosophie de la pratique des mathématiques : Who Is Allowed to Participate? — On Justified epistemic Exclusions in Mathematics

06 - La théorie de la complexité : La notion de preuve naturelle et la difficulté de montrer que P ≠ NP

Séminaire - La philosophie de la pratique des mathématiques : Que signifie « penser » en mathématiques ?

05 - La théorie de la complexité : Bornes inférieures pour des circuits monotones

Séminaire - La philosophie de la pratique des mathématiques : Qu'est-ce qu'une preuve motivée ?

04 - La théorie de la complexité : Bornes inférieures pour des circuits de profondeur constante

Séminaire - La philosophie de la pratique des mathématiques : How to Apply Category Theory: from Physics to Epidemiology

03 - La théorie de la complexité : Les circuits booléens et la classe P/poly