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

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

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

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 champs de recherche : l'algèbre et la théorie des nombres, les probabilités, la topologie, ou encore la géométrie algébrique. L'enseignement que dispensera Timothy Gowers au Collège de France abordera la combinatoire sous une perspective très large, mettant l'accent sur la résolution de problèmes. Outre les outils, qui feront l'objet du cours de la première année, seront traités de façon plus spécifique : l'analyse discrète de Fourier, les liens entre la combinatoire et l'informatique, la théorie des structures quasi-aléatoires, ainsi que la pratique et la philosophie des mathématiques.

Science

Mathematics

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 champs de recherche : l'algèbre et la théorie des nombres, les probabilités, la topologie, ou encore la géométrie algébrique. L'enseignement que dispensera Timothy Gowers au Collège de France abordera la combinatoire sous une perspective très large, mettant l'accent sur la résolution de problèmes. Outre les outils, qui feront l'objet du cours de la première année, seront traités de façon plus spécifique : l'analyse discrète de Fourier, les liens entre la combinatoire et l'informatique, la théorie des structures quasi-aléatoires, ainsi que la pratique et la philosophie des mathématiques.

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

Sign up to save your podcasts

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

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

More shows like Combinatoire - Timothy Gowers

Charline explose les faits

Paléontologie humaine - Michel Brunet

Philosophie du langage et de la connaissance - Jacques Bouveresse

Milieux Bibliques - Thomas Römer

Histoire du Coran. Texte et transmission - François Déroche

Économie des institutions, de l'innovation et de la croissance - Philippe Aghion

La Conversation scientifique

Culture écrite de l'antiquité tardive et papyrologie byzantine - Jean-Luc Fournet

Chaire Européenne (2016-2017) - Alain Wijffels

Innovation technologique Liliane Bettencourt (2016-2017) - Didier Roux

Philosophie du langage et de l'esprit - François Recanati

Pauvreté et politiques publiques - Esther Duflo

Formation planétaire : de la Terre aux exoplanète - Alessandro Morbidelli

Histoire des Lumières, XVIIIe-XXIe siècle - Antoine Lilti

Biodiversité et écosystèmes (2023-2024) - Emmanuelle Porcher

Innovation technologique Liliane Bettencourt (2018-2019) - Molly Przeworski

L'invention de l'Europe par les langues et les cultures (2022-2023) - Mieke Bal

Informatique et sciences numériques (2013-2014) - Nicholas Ayache

Innovation technologique Liliane Bettencourt (2014-2015) - Bernard Meunier

Mondes Francophones (2018-2019) - Yanick Lahens

Chaire internationale (2007-2008) - Pierre Magistretti

Mondes francophones (2023-2024) - Salikoko S. Mufwene