Séminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
Épisode de Combinatoire - Timothy Gowers par Collège de France · 10 novembre 2025 · 51 min
Timothy Gowers
Chaire Combinatoire
Année 2025-2026
Collège de France
Séminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
Fabian Gloeckle
École nationale des ponts et chaussées
Autres épisodes de « Combinatoire - Timothy Gowers »
- 06 - Entropie et combinatoire : Démonstration de la conjecture de Marton II 17 novembre 2025
- 05 - Entropie et combinatoire : Démonstration de la conjecture de Marton I 10 novembre 2025
- Séminaire - Karine Chemla : La philosophie de la pratique des mathématiques : Des mathématiques comme une activité essentiellement écrite 3 novembre 2025
- 04 - Entropie et combinatoire : Entropie et combinatoire additive 3 novembre 2025
- Séminaire - Tristan Stérin : Le cinquième nombre Busy Beaver 27 octobre 2025
- 03 - Entropie et combinatoire : La conjecture des familles stables par union 27 octobre 2025
- Séminaire - Frederike Lieven : À la recherche d'une « culture compatible avec notre époque » : les mathématiques modernes en France, RDA et RFA 20 octobre 2025
- 02 - Entropie et combinatoire : Le lemme de Shearer et le théorème de Brégman 20 octobre 2025
- Séminaire - Carolin Antos : Reasoning with Specifics—the Use of Examples in Mathematics 13 octobre 2025
- 01 - Entropie et combinatoire : Axiomes et propriétés fondamentales de l'entropie 13 octobre 2025
- Séminaire - La philosophie de la pratique des mathématiques - Mathématiques et profondeur 25 novembre 2024
- 06 - La théorie de la complexité II : Formules, programmes branchés et le théorème de Barrington 25 novembre 2024
- Séminaire - La philosophie de la pratique des mathématiques - Structures et repères en mathématiques 18 novembre 2024
- 05 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II) 18 novembre 2024
- 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 4 novembre 2024
À propos du podcast
Domaine un peu paradoxal, la combinatoire se présente comme à la fois simple et complexe, pauvre et riche, facile et difficile, pure et appliquée. Elle occupe aujourd'hui une place quasiment centrale en mathématiques, en particulier à cause de la multiplicité de ses interactions avec d'autres…
Épisodes similaires
- Episode #31 - Se repérer dans l’espace : la carte cognitive du cerveau – Le cerveau, un jour à la fois.
- Visite au cœur d'un petit bout de campagne parisien : petite balade au cimetière du Père Lachaise – CO2 mon Amour
- Nicolas Flamel : l’alchimiste et son double – La Science, CQFD
- Nicolas Flamel : l’alchimiste et son double – La Science CQFD
- Sabotage et guerre informationnelle : ces pays qui veulent nous empêcher de faire la transition écologique – Debout la Terre
Tous les épisodes de Combinatoire - Timothy Gowers · Plus de podcasts Science