09 oct 2023 → 13 nov 2023 Cours La théorie de la complexité 09 oct 2023 → 13 nov 2023 Partager Facebook Linkedin Copier le lien
du Lundi 9 octobre au Lundi 13 novembre 2023 Voir aussi : Séminaire associéTimothy Gowers Example Boolean circuit. The nodes are AND gates, the nodes are OR gates, and the nodes are NOT gates (CC BY-SA 4.0). Documents et médias Télécharger le programme pdf (378.7 Ko) Programme Cours 10:00 - 12:00 Les classes de complexité P et NP et les problèmes NP-complets Timothy Gowers 09 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 09 oct 2023 10:00 - 12:00 Séminaire 14:00 - 15:00 L’AI et l’avenir de la pratique des mathématiques Amaury Hayat 09 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 09 oct 2023 14:00 - 15:00 Cours 10:00 - 12:00 La classe #P et la complexité du calcul du permanent d’une matrice 0-1 Timothy Gowers 16 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 16 oct 2023 10:00 - 12:00 Séminaire 14:00 - 15:00 A Dialogical Account of Proofs in Mathematical Practice Catarina Dutilh Novaes 16 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 16 oct 2023 14:00 - 15:00 Cours 10:00 - 12:00 Les circuits booléens et la classe P/poly Timothy Gowers 23 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 23 oct 2023 10:00 - 12:00 Séminaire 14:00 - 15:00 How to Apply Category Theory: from Physics to Epidemiology David Corfield 23 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 23 oct 2023 14:00 - 15:00 Cours 10:00 - 12:00 Bornes inférieures pour des circuits de profondeur constante Timothy Gowers 30 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 30 oct 2023 10:00 - 12:00 Séminaire 14:00 - 15:00 Qu’est-ce qu’une preuve motivée ? Timothy Gowers 30 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 30 oct 2023 14:00 - 15:00 Cours 10:00 - 12:00 Bornes inférieures pour des circuits monotones Timothy Gowers 06 nov 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 06 nov 2023 10:00 - 12:00 Séminaire 14:00 - 15:00 Que signifie « penser » en mathématiques ? Frédéric Jaëck 06 nov 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 06 nov 2023 14:00 - 15:00 Cours 10:00 - 12:00 La notion de preuve naturelle et la difficulté de montrer que P ≠ NP Timothy Gowers 13 nov 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 13 nov 2023 10:00 - 12:00 Séminaire 14:00 - 15:00 Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics Colin Rittberg 13 nov 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 13 nov 2023 14:00 - 15:00 Voir aussi Séminaire en relation avec le cours : La philosophie de la pratique des mathématiques Timothy Gowers, chaire Combinatoire
Cours 10:00 - 12:00 Les classes de complexité P et NP et les problèmes NP-complets Timothy Gowers 09 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 09 oct 2023 10:00 - 12:00
Séminaire 14:00 - 15:00 L’AI et l’avenir de la pratique des mathématiques Amaury Hayat 09 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 09 oct 2023 14:00 - 15:00
Cours 10:00 - 12:00 La classe #P et la complexité du calcul du permanent d’une matrice 0-1 Timothy Gowers 16 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 16 oct 2023 10:00 - 12:00
Séminaire 14:00 - 15:00 A Dialogical Account of Proofs in Mathematical Practice Catarina Dutilh Novaes 16 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 16 oct 2023 14:00 - 15:00
Cours 10:00 - 12:00 Les circuits booléens et la classe P/poly Timothy Gowers 23 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 23 oct 2023 10:00 - 12:00
Séminaire 14:00 - 15:00 How to Apply Category Theory: from Physics to Epidemiology David Corfield 23 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 23 oct 2023 14:00 - 15:00
Cours 10:00 - 12:00 Bornes inférieures pour des circuits de profondeur constante Timothy Gowers 30 oct 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 30 oct 2023 10:00 - 12:00
Séminaire 14:00 - 15:00 Qu’est-ce qu’une preuve motivée ? Timothy Gowers 30 oct 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 30 oct 2023 14:00 - 15:00
Cours 10:00 - 12:00 Bornes inférieures pour des circuits monotones Timothy Gowers 06 nov 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 06 nov 2023 10:00 - 12:00
Séminaire 14:00 - 15:00 Que signifie « penser » en mathématiques ? Frédéric Jaëck 06 nov 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 06 nov 2023 14:00 - 15:00
Cours 10:00 - 12:00 La notion de preuve naturelle et la difficulté de montrer que P ≠ NP Timothy Gowers 13 nov 2023 La théorie de la complexité Salle 5, Site Marcelin Berthelot 13 nov 2023 10:00 - 12:00
Séminaire 14:00 - 15:00 Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics Colin Rittberg 13 nov 2023 La philosophie de la pratique des mathématiques Salle 5, Site Marcelin Berthelot 13 nov 2023 14:00 - 15:00