Séminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
Timothy GowersChaire CombinatoireAnnée 2025-2026Collège de FranceSéminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal ProvingFabian GloeckleÉcole nationale des ponts et chaussées
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from Combinatoire - Timothy Gowers
06 - Entropie et combinatoire : Démonstration de la conjecture de Marton II
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
Get summaries like this every morning.
Free AI-powered recaps of Combinatoire - Timothy Gowers and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.