C-
Combinatoire - Timothy Gowers

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

November 10, 2025·50 min
Episode Description from the Publisher

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

AI Summary coming soon

Sign up to get notified when the full AI-powered summary is ready.

Get Free Summaries →

Free forever for up to 3 podcasts. No credit card required.

Listen to This Episode

Apple Podcasts

More from Combinatoire - Timothy Gowers

C-

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

November 17, 2025·1h 40m
C-

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

November 10, 2025·1h 53m
C-

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

November 3, 2025·54 min
C-

04 - Entropie et combinatoire : Entropie et combinatoire additive

November 3, 2025·1h 54m
View all episodes →

Get summaries like this every morning.

Free AI-powered recaps of Combinatoire - Timothy Gowers and your other favorite podcasts, delivered to your inbox.

Get Free Summaries →

Free forever for up to 3 podcasts. No credit card required.