Recent Episodes
-
Séminaire - La philosophie de la pratique des mathématiques - Mathématiques et profondeur
Nov 25, 2024 – 62:05 -
06 - La théorie de la complexité II : Formules, programmes branchés et le théorème de Barrington
Nov 25, 2024 – 102:40 -
Séminaire - La philosophie de la pratique des mathématiques - Structures et repères en mathématiques
Nov 18, 2024 – 56:20 -
05 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)
Nov 18, 2024 – 115:05 -
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
Nov 4, 2024 – 54:27 -
04 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)
Nov 4, 2024 – 116:15 -
Séminaire - La philosophie de la pratique des mathématiques - Using AI and Code to Solve Olympiad Mathematics Problems
Oct 28, 2024 – 44:60 -
03 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (I)
Oct 28, 2024 – 112:51 -
Séminaire - La philosophie de la pratique des mathématiques - Généraliser : comment le faire et pourquoi le faire
Oct 21, 2024 – 60:54 -
02 - La théorie de la complexité II : Relations simples entre les classes de complexité
Oct 21, 2024 – 116:00 -
Séminaire - La philosophie de la pratique des mathématiques - Silvia de Toffoli : How to Prove Things With Diagrams
Oct 14, 2024 – 50:15 -
01 - La théorie de la complexité II : Introduction à plusieurs classes de complexité
Oct 14, 2024 – 120:03 -
Séminaire - La philosophie de la pratique des mathématiques : Who Is Allowed to Participate? — On Justified epistemic Exclusions in Mathematics
Nov 13, 2023 – 46:43 -
06 - La théorie de la complexité : La notion de preuve naturelle et la difficulté de montrer que P ≠ NP
Nov 13, 2023 – 115:21 -
Séminaire - La philosophie de la pratique des mathématiques : Que signifie « penser » en mathématiques ?
Nov 6, 2023 – 47:57 -
05 - La théorie de la complexité : Bornes inférieures pour des circuits monotones
Nov 6, 2023 – 111:15 -
Séminaire - La philosophie de la pratique des mathématiques : Qu'est-ce qu'une preuve motivée ?
Oct 30, 2023 – 51:18 -
04 - La théorie de la complexité : Bornes inférieures pour des circuits de profondeur constante
Oct 30, 2023 – 113:39 -
Séminaire - La philosophie de la pratique des mathématiques : How to Apply Category Theory: from Physics to Epidemiology
Oct 23, 2023 – 49:28 -
03 - La théorie de la complexité : Les circuits booléens et la classe P/poly
Oct 23, 2023 – 114:59 -
Séminaire - La philosophie de la pratique des mathématiques : A Dialogical Account of Proofs in Mathematical Practice
Oct 16, 2023 – 47:47 -
02 - La théorie de la complexité : La classe #P et la complexité du calcul du permanent d'une matrice 0-1
Oct 16, 2023 – 110:20 -
Séminaire - La philosophie de la pratique des mathématiques : L'AI et l'avenir de la pratique des mathématiques
Oct 9, 2023 – 46:00 -
01 - La théorie de la complexité : Les classes de complexité P et NP et les problèmes NP-complets
Oct 9, 2023 – 120:16 -
06 - La combinatoire additive quadratique
Nov 14, 2022 – 101:57 -
Séminaire - Stanislas Polu : Sur les capacités de raisonnement mathématique des modèles de langage
Nov 7, 2022 – 53:22 -
05 - La combinatoire additive quadratique
Nov 7, 2022 – 106:59 -
Séminaire : Les jugements sur le degré d'intérêt des énoncés mathématiques sont-ils nécessairement subjectifs ?
Oct 31, 2022 – 59:05 -
04 - La combinatoire additive quadratique
Oct 31, 2022 – 51:28 -
De la phénoménologie aux phénomènes mathématiques
Oct 24, 2022 – 62:24 -
03 - La combinatoire additive quadratique
Oct 24, 2022 – 94:10 -
Recipes and Instructions in Mathematical Proofs
Oct 17, 2022 – 55:07 -
02 - La combinatoire additive quadratique
Oct 17, 2022 – 114:49 -
La philosophie de la pratique des mathématiques : Quel rôle pour l'axiomatique aujourd'hui ?
Oct 10, 2022 – 46:30 -
01 - La combinatoire additive quadratique
Oct 10, 2022 – 97:55 -
06 - La combinatoire additive linéaire
Nov 22, 2021 – 123:39 -
05 - La combinatoire additive linéaire
Nov 15, 2021 – 120:49 -
04 - La combinatoire additive linéaire
Nov 8, 2021 – 119:57 -
03 - La combinatoire additive linéaire
Oct 25, 2021 – 122:13 -
02 - La combinatoire additive linéaire
Oct 18, 2021 – 94:54 -
01 - La combinatoire additive linéaire
Oct 11, 2021 – 106:15 -
06 - Outils de la combinatoire
Mar 1, 2021 – 60:00 -
05 - Outils de la combinatoire
Feb 22, 2021 – 60:00 -
04 - Outils de la combinatoire
Feb 15, 2021 – 123:04 -
03 - Outils de la combinatoire
Feb 8, 2021 – 119:59 -
02 - Outils de la combinatoire
Feb 1, 2021 – 123:30 -
01 - Outils de la combinatoire
Jan 25, 2021 – 121:18 -
Leçon inaugurale - Thimothy Gowers : Combinatoire
Jan 21, 2021 – 62:23
Recent Reviews
Similar Podcasts
Disclaimer: The podcast and artwork on this page are property of the podcast owner, and not endorsed by UP.audio.