Thimothy GowersChaire CombinatoireCollège de FranceAnnée 2025-2026La philosophie de la pratique des mathématiquesSéminaire - Tristan Stérin : Le cinquième nombre Busy BeaverRésuméNous calculons la cinquième valeur d'une fonction… non calculable. Cette fonction, appelée Busy Beaver et proposée par Tibor Radó en 1962, mesure le nombre maximal d'opérations qu'un programme peut effectuer avant de s'arrêter, en fonction de sa taille. Pour la première fois depuis plus de quarante ans, une nouvelle valeur, BusyBeaver(5) = 47 176 870, a été déterminée.C'est un ordinateur qui a vérifié formellement les 181 385 789 cas particuliers à l'aide de l'assistant de preuve Coq, dans le cadre d'un effort de recherche massivement collaboratif ayant mobilisé une centaine de personnes sur Internet pendant deux ans (bbchallenge.org).Tristan StérinPRGM DEV
AI 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.
06 - Entropie et combinatoire : Démonstration de la conjecture de Marton II
Séminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
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
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.