All Episodes

06 - Entropie et combinatoire : Démonstration de la conjecture de Marton II

Séminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal Proving

05 - Entropie et combinatoire : Démonstration de la conjecture de Marton I

Séminaire - Karine Chemla : La philosophie de la pratique des mathématiques : Des mathématiques comme une activité essentiellement écrite

04 - Entropie et combinatoire : Entropie et combinatoire additive

Séminaire - Tristan Stérin : Le cinquième nombre Busy Beaver

03 - Entropie et combinatoire : La conjecture des familles stables par union

Séminaire - Frederike Lieven : À la recherche d'une « culture compatible avec notre époque » : les mathématiques modernes en France, RDA et RFA

02 - Entropie et combinatoire : Le lemme de Shearer et le théorème de Brégman

Séminaire - Carolin Antos : Reasoning with Specifics—the Use of Examples in Mathematics

01 - Entropie et combinatoire : Axiomes et propriétés fondamentales de l'entropie

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

Séminaire - La philosophie de la pratique des mathématiques : A Dialogical Account of Proofs in Mathematical Practice

02 - La théorie de la complexité : La classe #P et la complexité du calcul du permanent d'une matrice 0-1

Séminaire - La philosophie de la pratique des mathématiques : L'AI et l'avenir de la pratique des mathématiques

01 - La théorie de la complexité : Les classes de complexité P et NP et les problèmes NP-complets

06 - La combinatoire additive quadratique

Séminaire - Stanislas Polu : Sur les capacités de raisonnement mathématique des modèles de langage

05 - La combinatoire additive quadratique

Séminaire : Les jugements sur le degré d'intérêt des énoncés mathématiques sont-ils nécessairement subjectifs ?

04 - La combinatoire additive quadratique

De la phénoménologie aux phénomènes mathématiques

03 - La combinatoire additive quadratique

Recipes and Instructions in Mathematical Proofs

02 - La combinatoire additive quadratique

La philosophie de la pratique des mathématiques : Quel rôle pour l'axiomatique aujourd'hui ?

01 - La combinatoire additive quadratique

06 - La combinatoire additive linéaire

05 - La combinatoire additive linéaire

04 - La combinatoire additive linéaire

03 - La combinatoire additive linéaire

02 - La combinatoire additive linéaire

01 - La combinatoire additive linéaire

06 - Outils de la combinatoire

05 - Outils de la combinatoire

04 - Outils de la combinatoire

03 - Outils de la combinatoire

02 - Outils de la combinatoire

01 - Outils de la combinatoire

Leçon inaugurale - Thimothy Gowers : Combinatoire