Séminaire - Tristan Stérin : Le cinquième nombre Busy Beaver
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03 - Entropie et combinatoire : La conjecture des familles stables par union
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - Frederike Lieven : À la recherche d'une « culture compatible avec notre époque » : les mathématiques modernes en France, RDA et RFA
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02 - Entropie et combinatoire : Le lemme de Shearer et le théorème de Brégman
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - Carolin Antos : Reasoning with Specifics—the Use of Examples in Mathematics
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01 - Entropie et combinatoire : Axiomes et propriétés fondamentales de l'entropie
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques - Mathématiques et profondeur
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06 - La théorie de la complexité II : Formules, programmes branchés et le théorème de Barrington
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques - Structures et repères en mathématiques
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
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
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques - Using AI and Code to Solve Olympiad Mathematics Problems
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (I)
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques - Généraliser : comment le faire et pourquoi le faire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02 - La théorie de la complexité II : Relations simples entre les classes de complexité
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques - Silvia de Toffoli : How to Prove Things With Diagrams
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01 - La théorie de la complexité II : Introduction à plusieurs classes de complexité
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques : Who Is Allowed to Participate? — On Justified epistemic Exclusions in Mathematics
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06 - La théorie de la complexité : La notion de preuve naturelle et la difficulté de montrer que P ≠ NP
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques : Que signifie « penser » en mathématiques ?
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05 - La théorie de la complexité : Bornes inférieures pour des circuits monotones
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques : Qu'est-ce qu'une preuve motivée ?
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04 - La théorie de la complexité : Bornes inférieures pour des circuits de profondeur constante
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques : How to Apply Category Theory: from Physics to Epidemiology
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03 - La théorie de la complexité : Les circuits booléens et la classe P/poly
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques : A Dialogical Account of Proofs in Mathematical Practice
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02 - La théorie de la complexité : La classe #P et la complexité du calcul du permanent d'une matrice 0-1
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - La philosophie de la pratique des mathématiques : L'AI et l'avenir de la pratique des mathématiques
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01 - La théorie de la complexité : Les classes de complexité P et NP et les problèmes NP-complets
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06 - La combinatoire additive quadratique
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire - Stanislas Polu : Sur les capacités de raisonnement mathématique des modèles de langage
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05 - La combinatoire additive quadratique
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Séminaire : Les jugements sur le degré d'intérêt des énoncés mathématiques sont-ils nécessairement subjectifs ?
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04 - La combinatoire additive quadratique
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
De la phénoménologie aux phénomènes mathématiques
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03 - La combinatoire additive quadratique
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Recipes and Instructions in Mathematical Proofs
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02 - La combinatoire additive quadratique
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
La philosophie de la pratique des mathématiques : Quel rôle pour l'axiomatique aujourd'hui ?
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01 - La combinatoire additive quadratique
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06 - La combinatoire additive linéaire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05 - La combinatoire additive linéaire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04 - La combinatoire additive linéaire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03 - La combinatoire additive linéaire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02 - La combinatoire additive linéaire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01 - La combinatoire additive linéaire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06 - Outils de la combinatoire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05 - Outils de la combinatoire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04 - Outils de la combinatoire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03 - Outils de la combinatoire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02 - Outils de la combinatoire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01 - Outils de la combinatoire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Leçon inaugurale - Thimothy Gowers : Combinatoire
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.