Combinatoire - Timothy Gowers https://www.college-de-france.fr/chaire/timothy-gowers-combinatoire-chaire-statutaire fr © Collège de France Collège de France 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.

]]> Collège de France cdf-podcast@siteparc.fr no 06 - Entropie et combinatoire : Démonstration de la conjecture de Marton II Timothy Gowers Timothy Gowers

Chaire Combinatoire

Collège de France

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

]]> https://podcastfichiers.college-de-france.fr/gowers-20251117.m4a Mon, 17 Nov 2025 19:03:00 +0100 no 100:56 Séminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal Proving Timothy Gowers 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

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20251110-gloeckle.m4a Mon, 10 Nov 2025 10:58:00 +0100 no 50:41 05 - Entropie et combinatoire : Démonstration de la conjecture de Marton I Timothy Gowers Timothy Gowers

Chaire Combinatoire

Année 2025-2026

Collège de France

05 - Démonstration de la conjecture de Marton I

]]> https://podcastfichiers.college-de-france.fr/gowers-20251110.m4a Mon, 10 Nov 2025 10:56:00 +0100 no 113:06 Séminaire - Karine Chemla : La philosophie de la pratique des mathématiques : Des mathématiques comme une activité essentiellement écrite Timothy Gowers Timothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

La philosophie de la pratique des mathématiques : Des mathématiques comme une activité essentiellement écrite

Karine Chemla

Université Paris Diderot

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20251103-chemla.m4a Mon, 03 Nov 2025 19:09:00 +0100 no 54:12 04 - Entropie et combinatoire : Entropie et combinatoire additive Timothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

04 - Entropie et combinatoire : Entropie et combinatoire additive

]]> https://podcastfichiers.college-de-france.fr/gowers-20251103.m4a Mon, 03 Nov 2025 19:08:00 +0100 no 114:43 Séminaire - Tristan Stérin : Le cinquième nombre Busy Beaver Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

La philosophie de la pratique des mathématiques

Séminaire - Tristan Stérin : Le cinquième nombre Busy Beaver

Ré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érin

PRGM DEV

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20251027-sterin.m4a Mon, 27 Oct 2025 07:41:00 +0100 no 45:29 03 - Entropie et combinatoire : La conjecture des familles stables par union Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

03 - Entropie et combinatoire : La conjecture des familles stables par union

]]> https://podcastfichiers.college-de-france.fr/gowers-20251027.m4a Mon, 27 Oct 2025 07:40:00 +0100 no 114:40 Séminaire - Frederike Lieven : À la recherche d'une « culture compatible avec notre époque » : les mathématiques modernes en France, RDA et RFA Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

La philosophie de la pratique des mathématiques

Séminaire - Frederike Lieven : À la recherche d'une « culture compatible avec notre époque » : les mathématiques modernes en France, RDA et RFA

Résumé

Pendant les années 1950 et 1960, l'impression de vivre une période de transformations profondes est omniprésente au sein des sociétés européennes. L'un des aspects de cette mutation est la place fondamentale que prend la science, à la fois comme principe explicatif du réel, mais aussi comme support d'un progrès technique qui a un impact tangible sur les conditions de vie des populations.

Les mathématiques jouent un rôle particulier, d'une part parce que ce sont elles qui permettent aux autres sciences de formaliser leurs résultats, d'autre part parce qu'elles interviennent directement dans les processus de rationalisation et d'automatisation qui sont alors à l'œuvre dans le monde économique et au-delà. Dans ce contexte d'une « conjoncture mathématique sans précédent », la formation mathématique de la jeunesse apparaît comme un enjeu primordial. L'enseignement mathématique traditionnel est sujet à des critiques multiples : dogmatisme, inefficacité et manque de scientificité. Les milieux scientifiques, pédagogiques et politiques conjuguent alors leurs forces pour définir un enseignement mathématique modernisé qui réponde aux exigences du monde de demain.

Loin de l'image d'abstraction et de formalisme qui lui reste attachée, l'enseignement des mathématiques modernes naît ainsi de la volonté de donner aux élèves les concepts et techniques qui leur permettent de comprendre et transformer le monde dans lequel ils vivent. En France, RFA et RDA, la réforme se décline sous diverses formes, ce qui s'explique par des conceptions divergentes sur la nature des mathématiques ainsi que par des projets de société différents. En effet, les mathématiques peuvent être mises aussi bien au service du maintien de l'ordre établi qu'elles peuvent contribuer à la formation d'une pensée autonome. Il s'agira de voir comment les acteurs proposent des interprétations différentes de la modernité mathématique au service d'une modernité qui prend, elle aussi, des apparences multiples et contradictoires.

Frederike Lieven

UR EST, Paris-Saclay

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20251020-lieven.m4a Mon, 20 Oct 2025 08:38:00 +0200 no 46:51 02 - Entropie et combinatoire : Le lemme de Shearer et le théorème de Brégman Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

02 - Entropie et combinatoire : Le lemme de Shearer et le théorème de Brégman

]]> https://podcastfichiers.college-de-france.fr/gowers-20251020.m4a Mon, 20 Oct 2025 08:35:00 +0200 no 115:58 Séminaire - Carolin Antos : Reasoning with Specifics—the Use of Examples in Mathematics Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

La philosophie de la pratique des mathématiques

Séminaire - Carolin Antos : Reasoning with Specifics—the Use of Examples in Mathematics

Carolin Antos

Université de Konstanz

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20251013-antos.m4a Mon, 13 Oct 2025 19:16:00 +0200 no 38:17 01 - Entropie et combinatoire : Axiomes et propriétés fondamentales de l'entropie Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2025-2026

01 - Entropie et combinatoire : Axiomes et propriétés fondamentales de l'entropie

]]> https://podcastfichiers.college-de-france.fr/gowers-20251013.m4a Mon, 13 Oct 2025 19:15:00 +0200 no 111:58 Séminaire - La philosophie de la pratique des mathématiques - Mathématiques et profondeur Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

Séminaire - La philosophie de la pratique des mathématiques - Mathématiques et profondeur

Intervenant(s) :

Gabriella Crocco

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20241125-crocco.m4a Mon, 25 Nov 2024 13:30:00 +0100 no 62:05 06 - La théorie de la complexité II : Formules, programmes branchés et le théorème de Barrington Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

06 - La théorie de la complexité II : Formules, programmes branchés et le théorème de Barrington

]]> https://podcastfichiers.college-de-france.fr/gowers-20241125.m4a Mon, 25 Nov 2024 13:29:00 +0100 no 102:40 Séminaire - La philosophie de la pratique des mathématiques - Structures et repères en mathématiques Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

Séminaire - La philosophie de la pratique des mathématiques - Structures et repères en mathématiques

Intervenant(s) :

Brice Halimi

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20241118-halimi.m4a Mon, 18 Nov 2024 12:19:00 +0100 no 56:20 05 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II) Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

05 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)

]]> https://podcastfichiers.college-de-france.fr/gowers-20241118.m4a Mon, 18 Nov 2024 12:18:00 +0100 no 115:05 Séminaire - La philosophie de la pratique des mathématiques - Intelligence artificielle et mathématiques – Comment les modèles de langage apprennent l'arithmétique Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

Séminaire - La philosophie de la pratique des mathématiques - Intelligence artificielle et mathématiques – Comment les modèles de langage apprennent l'arithmétique

Intervenant(s) :

François Charton

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20241104-charton.m4a Mon, 04 Nov 2024 12:00:00 +0100 no 54:27 04 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II) Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

04 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)

]]> https://podcastfichiers.college-de-france.fr/gowers-20241104.m4a Mon, 04 Nov 2024 11:06:00 +0100 no 116:15 Séminaire - La philosophie de la pratique des mathématiques - Using AI and Code to Solve Olympiad Mathematics Problems Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

Séminaire - La philosophie de la pratique des mathématiques - Using AI and Code to Solve Olympiad Mathematics Problems

Intervenant(s) :

Jia Li

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20241028-li.m4a Mon, 28 Oct 2024 05:03:00 +0100 no 44:60 03 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (I) Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

03 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (I)

]]> https://podcastfichiers.college-de-france.fr/gowers-20241028.m4a Mon, 28 Oct 2024 05:02:00 +0100 no 112:51 Séminaire - La philosophie de la pratique des mathématiques - Généraliser : comment le faire et pourquoi le faire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

Séminaire - La philosophie de la pratique des mathématiques - Généraliser : comment le faire et pourquoi le faire

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20241021.m4a Mon, 21 Oct 2024 08:49:00 +0200 no 60:54 02 - La théorie de la complexité II : Relations simples entre les classes de complexité Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

02 - La théorie de la complexité II : Relations simples entre les classes de complexité

]]> https://podcastfichiers.college-de-france.fr/gowers-20241021.m4a Mon, 21 Oct 2024 08:48:00 +0200 no 116:00 Séminaire - La philosophie de la pratique des mathématiques - Silvia de Toffoli : How to Prove Things With Diagrams Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

Séminaire - Silvia de Toffoli : How to Prove Things With Diagrams

Intervenant(s)

Silvia de Toffoli

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20241014-de-toffoli.m4a Mon, 14 Oct 2024 18:27:00 +0200 no 50:15 01 - La théorie de la complexité II : Introduction à plusieurs classes de complexité Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2024-2025

01 - La théorie de la complexité II : Introduction à plusieurs classes de complexité

]]> https://podcastfichiers.college-de-france.fr/gowers-20241014.m4a Mon, 14 Oct 2024 16:26:00 +0200 no 120:03 Séminaire - La philosophie de la pratique des mathématiques : Who Is Allowed to Participate? — On Justified epistemic Exclusions in Mathematics Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

Séminaire - La philosophie de la pratique des mathématiques : Who Is Allowed to Participate? — On Justified epistemic Exclusions in Mathematics

Intervenant(s)

Colin Rittberg, Vrije Universiteit Brussel

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20231113-rittberg.m4a Mon, 13 Nov 2023 23:50:00 +0100 no 46:43 06 - La théorie de la complexité : La notion de preuve naturelle et la difficulté de montrer que P ≠ NP Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

06 - La théorie de la complexité : La notion de preuve naturelle et la difficulté de montrer que P ≠ NP

]]> https://podcastfichiers.college-de-france.fr/gowers-20231113.m4a Mon, 13 Nov 2023 23:48:00 +0100 no 115:21 Séminaire - La philosophie de la pratique des mathématiques : Que signifie « penser » en mathématiques ? Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

Séminaire - La philosophie de la pratique des mathématiques : Que signifie « penser » en mathématiques ?

Intervenant(s)

Frédéric Jaëck, Université Aix Marseille

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20231106-jaeck.m4a Mon, 06 Nov 2023 15:22:00 +0100 no 47:57 05 - La théorie de la complexité : Bornes inférieures pour des circuits monotones Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

05 - La théorie de la complexité : Bornes inférieures pour des circuits monotones

]]> https://podcastfichiers.college-de-france.fr/gowers-20231106.m4a Mon, 06 Nov 2023 15:19:00 +0100 no 111:15 Séminaire - La philosophie de la pratique des mathématiques : Qu'est-ce qu'une preuve motivée ? Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

Séminaire - La philosophie de la pratique des mathématiques : Qu'est-ce qu'une preuve motivée ?

Intervenant(s)

Timothy Gowers, Professeur du Collège de France

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20231030.m4a Mon, 30 Oct 2023 11:05:00 +0100 no 51:18 04 - La théorie de la complexité : Bornes inférieures pour des circuits de profondeur constante Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

04 - La théorie de la complexité : Bornes inférieures pour des circuits de profondeur constante

]]> https://podcastfichiers.college-de-france.fr/gowers-20231030.m4a Mon, 30 Oct 2023 11:01:00 +0100 no 113:39 Séminaire - La philosophie de la pratique des mathématiques : How to Apply Category Theory: from Physics to Epidemiology Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

A Dialogical Account of Proofs in Mathematical Practice

Intervenant(s)

Catarina Dutilh Novaes, Vrije Universiteit Amsterdam et University of St Andrews

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20231023-corfield.m4a Mon, 23 Oct 2023 11:39:00 +0200 no 49:28 03 - La théorie de la complexité : Les circuits booléens et la classe P/poly Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

03 - La théorie de la complexité : Les circuits booléens et la classe P/poly

]]> https://podcastfichiers.college-de-france.fr/gowers-20231023.m4a Mon, 23 Oct 2023 11:38:00 +0200 no 114:59 Séminaire - La philosophie de la pratique des mathématiques : A Dialogical Account of Proofs in Mathematical Practice Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

A Dialogical Account of Proofs in Mathematical Practice

Intervenant(s)

Catarina Dutilh Novaes, Vrije Universiteit Amsterdam et University of St Andrews

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20231016-dutilh-novaes.m4a Mon, 16 Oct 2023 17:11:00 +0200 no 47:47 02 - La théorie de la complexité : La classe #P et la complexité du calcul du permanent d'une matrice 0-1 Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

02 - La théorie de la complexité : La classe #P et la complexité du calcul du permanent d'une matrice 0-1

]]> https://podcastfichiers.college-de-france.fr/gowers-20231016.m4a Mon, 16 Oct 2023 17:09:00 +0200 no 110:20 Séminaire - La philosophie de la pratique des mathématiques : L'AI et l'avenir de la pratique des mathématiques Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

L'AI et l'avenir de la pratique des mathématiques

Intervenant(s)

Amaury Hayat, École des Ponts Paristech

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20231009-hayat.m4a Mon, 09 Oct 2023 07:05:00 +0200 no 46:00 01 - La théorie de la complexité : Les classes de complexité P et NP et les problèmes NP-complets Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2023-2024

01 - La théorie de la complexité : Les classes de complexité P et NP et les problèmes NP-complets

]]> https://podcastfichiers.college-de-france.fr/gowers-20231009.m4a Mon, 09 Oct 2023 07:03:00 +0200 no 120:16 06 - La combinatoire additive quadratique Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Cours : La combinatoire additive quadratique

]]> https://podcastfichiers.college-de-france.fr/gowers-20221114.m4a Mon, 14 Nov 2022 10:02:00 +0100 no 101:57 Séminaire - Stanislas Polu : Sur les capacités de raisonnement mathématique des modèles de langage Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : Sur les capacités de raisonnement mathématique des modèles de langage

Intervenant(s)

Stanislas Polu, OpenAI

Après une brève explication du fonctionnement des modèles de langage, nous explorerons leur application au raisonnement mathématique, en particulier leur capacité à produire des raisonnements mathématiques informels ainsi que des preuves formelles. Nous discuterons les compromis impliqués dans la génération de preuves informelles et formelles, les limitations inhérentes aux grands modèles de langage dans ces deux modalités, ainsi que les directions futures potentielles pour dépasser ces limitations. Nous examinerons également l'utilisation de ces modèles de langage à l'intersection de ces deux modalités, en particulier, leur utilisation pour l'auto-formalisation.

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20221107-polu.m4a Mon, 07 Nov 2022 14:55:00 +0100 no 53:22 05 - La combinatoire additive quadratique Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Cours : La combinatoire additive quadratique

]]> https://podcastfichiers.college-de-france.fr/gowers-20221107.m4a Mon, 07 Nov 2022 14:53:00 +0100 no 106:59 Séminaire : Les jugements sur le degré d'intérêt des énoncés mathématiques sont-ils nécessairement subjectifs ? Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : Les jugements sur le degré d'intérêt des énoncés mathématiques sont-ils nécessairement subjectifs ?

Le mathématicien Akshay Venkatesh a récemment écrit un essai sur l'effet possible sur la pratique mathématique des progrès dans le domaine de la preuve automatique de théorèmes, et en particulier sur nos jugements de valeur concernant les théorèmes. Je soutiendrai que si les ordinateurs deviendront capables de prouver des théorèmes intéressants, ils devront alors porter des jugements de valeur pour eux-mêmes, et que ces jugements refléteront des propriétés objectives du vaste réseau d'énoncés mathématiques bien formés, tout comme les nôtres.

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20221031.m4a Mon, 31 Oct 2022 17:52:00 +0100 no 59:05 04 - La combinatoire additive quadratique Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Cours : La combinatoire additive quadratique

]]> https://podcastfichiers.college-de-france.fr/gowers-20221031.m4a Mon, 31 Oct 2022 17:51:00 +0100 no 51:28 De la phénoménologie aux phénomènes mathématiques Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : Recipes and Instructions in Mathematical Proofs

Intervenant(s)

Frédéric Patras, Université Côte d'Azur

Résumé

La phénoménologie husserlienne a joué un rôle important dans la philosophie des mathématiques françaises (chez Cavaillès, Desanti ; Vuillemin au Collège de France). Pour autant, la méthode phénoménologique n'est que partiellement compatible avec la tradition épistémologique française, qui a toujours pensé une certaine forme de nécessité des objets mathématiques, là où la phénoménologie tend à insister sur le rôle constitutif de la conscience. C'est tout le sens du testament philosophique de Cavaillès et de son programme d'une « philosophie du concept ». Le rapport à l'histoire pose également problème, avec d'un côté une approche plutôt archéologique (celle du Husserl de L'Origine de la Géométrie), et de l'autre un intérêt dirigé plutôt sur les dynamiques de création conceptuelle et les nécessités sous-jacentes. L'exposé reviendra sur ce contexte épistémologique et le précisera, pour revisiter ensuite ces questions à la lumière de la pratique mathématique et de ce que la méthode phénoménologique peut apporter aujourd'hui pour parler des « phénomènes mathématiques ».

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20221024-patras.m4a Mon, 24 Oct 2022 16:55:00 +0200 no 62:24 03 - La combinatoire additive quadratique Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Cours : La combinatoire additive quadratique

]]> https://podcastfichiers.college-de-france.fr/gowers-20221024.m4a Mon, 24 Oct 2022 16:50:00 +0200 no 94:10 Recipes and Instructions in Mathematical Proofs Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : Recipes and Instructions in Mathematical Proofs

Intervenant(s)

Fenner Tanswell, Vrije Universiteit Brussel

What is a mathematical proof? What role do proofs play in mathematical knowledge? The standard model is that a proof is a logically structured sequence of assertions, beginning from accepted premises and proceeding by established inference rules to a conclusion. In this talk, I will offer an alternative model, the recipe model of proof, which sees proofs as providing instructions for a process of mathematical reasoning. To support this model, I'll show some results from a corpus linguistics study of maths preprint articles from the arXiv looking at the prevalence of instructions in the written language of proofs. I'll then argue that this model provides a different perspective on both the logical structure of real proofs, and the kinds of knowledge proofs generate and communicate.

]]> https://podcastfichiers.college-de-france.fr/gowers-sem-20221017-tanswel.m4a Mon, 17 Oct 2022 12:19:00 +0200 no 55:07 02 - La combinatoire additive quadratique Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Cours : La combinatoire additive quadratique

]]> https://podcastfichiers.college-de-france.fr/gowers-20221017.m4a Mon, 17 Oct 2022 12:18:00 +0200 no 114:49 La philosophie de la pratique des mathématiques : Quel rôle pour l'axiomatique aujourd'hui ? Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : La philosophie de la pratique des mathématiques : Quel rôle pour l'axiomatique aujourd'hui ?

Intervenant(s)

Paola Cantù, Université Aix-Marseille

]]> https://podcastfichiers.college-de-france.fr/gower-sem-20221010-cantu.m4a Mon, 10 Oct 2022 17:10:00 +0200 no 46:30 01 - La combinatoire additive quadratique Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Cours : La combinatoire additive quadratique

]]> https://podcastfichiers.college-de-france.fr/gower-20221010.m4a Mon, 10 Oct 2022 17:07:00 +0200 no 97:55 06 - La combinatoire additive linéaire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2021-2022

La combinatoire additive linéaire

Le théorème de Freiman.

]]> https://podcastfichiers.college-de-france.fr/gowers-20211122.m4a Mon, 22 Nov 2021 09:13:00 +0100 no 123:39 05 - La combinatoire additive linéaire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2021-2022

La combinatoire additive linéaire

Le théorème de Freiman.

]]> https://podcastfichiers.college-de-france.fr/gowers-20211115.m4a Mon, 15 Nov 2021 09:13:00 +0100 no 120:49 04 - La combinatoire additive linéaire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2021-2022

La combinatoire additive linéaire

Le théorème de Freiman.

]]> https://podcastfichiers.college-de-france.fr/gowers-20211108.m4a Mon, 08 Nov 2021 09:13:00 +0100 no 119:57 03 - La combinatoire additive linéaire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2021-2022

La combinatoire additive linéaire

Le théorème de Plünnecke, les ensembles de Bohr, et la méthode de Bogolyubov.

]]> https://podcastfichiers.college-de-france.fr/gowers-20211025.m4a Mon, 25 Oct 2021 08:06:00 +0200 no 122:13 02 - La combinatoire additive linéaire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2021-2022

La combinatoire additive linéaire

Variantes et preuves alternatives du théorème de Roth.

]]> https://podcastfichiers.college-de-france.fr/gowers-20211018.m4a Mon, 18 Oct 2021 08:06:00 +0200 no 94:54 01 - La combinatoire additive linéaire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2021-2022

La combinatoire additive linéaire

Une preuve analytique de la théorème de Roth, qui établit que chaque ensemble dense d'entiers contient une progression arithmétique de longueur 3.

]]> https://podcastfichiers.college-de-france.fr/gowers-20211011.m4a Mon, 11 Oct 2021 23:51:00 +0200 no 106:15 06 - Outils de la combinatoire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2020-2021

Outils de la combinatoire

Timothy Gowers proposera pour sa première année un cours sur les « outils de la combinatoire » en présentant certaines des méthodes qu'il utilise dans ses recherches, qui proviennent de la combinatoire extrémale, la probabilité discrète, l'analyse de Fourier, et la théorie additive de nombres. Le séminaire ouvrira sur des sujets plus larges en questionnant la « philosophie de la pratique des mathématiques ».

]]> https://podcastfichiers.college-de-france.fr/gowers-20210301.mp4 Mon, 01 Mar 2021 19:02:00 +0100 no 60:00 05 - Outils de la combinatoire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2020-2021

Outils de la combinatoire

Timothy Gowers proposera pour sa première année un cours sur les « outils de la combinatoire » en présentant certaines des méthodes qu'il utilise dans ses recherches, qui proviennent de la combinatoire extrémale, la probabilité discrète, l'analyse de Fourier, et la théorie additive de nombres. Le séminaire ouvrira sur des sujets plus larges en questionnant la « philosophie de la pratique des mathématiques ».

]]> https://podcastfichiers.college-de-france.fr/gowers-20210222.mp4 Mon, 22 Feb 2021 22:30:00 +0100 no 60:00 04 - Outils de la combinatoire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2020-2021

Outils de la combinatoire

Timothy Gowers proposera pour sa première année un cours sur les « outils de la combinatoire » en présentant certaines des méthodes qu'il utilise dans ses recherches, qui proviennent de la combinatoire extrémale, la probabilité discrète, l'analyse de Fourier, et la théorie additive de nombres. Le séminaire ouvrira sur des sujets plus larges en questionnant la « philosophie de la pratique des mathématiques ».

]]> https://podcastfichiers.college-de-france.fr/gowers-20210215.mp4 Mon, 15 Feb 2021 22:30:00 +0100 no 123:04 03 - Outils de la combinatoire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2020-2021

Outils de la combinatoire

Timothy Gowers proposera pour sa première année un cours sur les « outils de la combinatoire » en présentant certaines des méthodes qu'il utilise dans ses recherches, qui proviennent de la combinatoire extrémale, la probabilité discrète, l'analyse de Fourier, et la théorie additive de nombres. Le séminaire ouvrira sur des sujets plus larges en questionnant la « philosophie de la pratique des mathématiques ».

]]> https://podcastfichiers.college-de-france.fr/gowers-20210208.mp4 Mon, 08 Feb 2021 22:00:00 +0100 no 119:59 02 - Outils de la combinatoire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2020-2021

Outils de la combinatoire

Timothy Gowers proposera pour sa première année un cours sur les « outils de la combinatoire » en présentant certaines des méthodes qu'il utilise dans ses recherches, qui proviennent de la combinatoire extrémale, la probabilité discrète, l'analyse de Fourier, et la théorie additive de nombres. Le séminaire ouvrira sur des sujets plus larges en questionnant la « philosophie de la pratique des mathématiques ».

]]> https://podcastfichiers.college-de-france.fr/gowers-20210201.mp4 Mon, 01 Feb 2021 17:00:00 +0100 no 123:30 01 - Outils de la combinatoire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2020-2021

Outils de la combinatoire

Timothy Gowers proposera pour sa première année un cours sur les « outils de la combinatoire » en présentant certaines des méthodes qu'il utilise dans ses recherches, qui proviennent de la combinatoire extrémale, la probabilité discrète, l'analyse de Fourier, et la théorie additive de nombres. Le séminaire ouvrira sur des sujets plus larges en questionnant la « philosophie de la pratique des mathématiques ».

]]> https://podcastfichiers.college-de-france.fr/gowers-20210125.mp4 Mon, 25 Jan 2021 16:57:00 +0100 no 121:18 Leçon inaugurale - Thimothy Gowers : Combinatoire Thimothy Gowers Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2020-2021

Leçon inaugurale : Combinatoire

Date : 21 octobre 2021

]]> https://podcastfichiers.college-de-france.fr/gowers-li-20210121.m4a Thu, 21 Jan 2021 16:57:00 +0100 no 62:23