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

from Combinatoire - Timothy Gowers · host Timothy Gowers

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

Episode metadata supplied by the publisher feed · Published Nov 10, 2025

Embed this episode

Attribution link and audio player

NOW PLAYING

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

0:00 50:41

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

Criminal Behaviorology Timothy Joseph Criminal Behaviorology is the synthesis of criminology and behavior analysis. This podcast reviews areas of importance to both fields and explores new possibilities. Criminal Behaviorology is a podcast for all those interested in crime, psychology, history, and improving the world we live in. Contact: [email protected] art photo provided by David von Diemar on Unsplash: https://unsplash.com/@emotionspicture

Frequently Asked Questions

How long is this episode of Combinatoire - Timothy Gowers?

This episode is 50 minutes long.

When was this Combinatoire - Timothy Gowers episode published?

This episode was published on November 10, 2025.

Can I download this Combinatoire - Timothy Gowers episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!