09 Oct 2023 → 13 Nov 2023 Lecture Complexity theory 09 Oct 2023 → 13 Nov 2023 Share Facebook X (ex-Twitter) Linkedin Copy url
from Monday 9 October to Monday 13 November 2023 See also: Related SeminarTimothy 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 and media Download program pdf (378.7 KB) Program Lecture 10:00 - 12:00 P and NP complexity classes and NP-complete problems Timothy Gowers 09 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 09 Oct 2023 10:00 - 12:00 Seminar 14:00 - 15:00 AI and the future of mathematical practice Amaury Hayat 09 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 09 Oct 2023 14:00 - 15:00 Lecture 10:00 - 12:00 The #P class and the complexity of calculating the permanent of a 0-1 matrix Timothy Gowers 16 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 16 Oct 2023 10:00 - 12:00 Seminar 14:00 - 15:00 A Dialogical Account of Proofs in Mathematical Practice Catarina Dutilh Novaes 16 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 16 Oct 2023 14:00 - 15:00 Lecture 10:00 - 12:00 Boolean circuits and the P/poly class Timothy Gowers 23 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 23 Oct 2023 10:00 - 12:00 Seminar 14:00 - 15:00 How to Apply Category Theory: from Physics to Epidemiology David Corfield 23 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 23 Oct 2023 14:00 - 15:00 Lecture 10:00 - 12:00 Lower terminals for constant depth circuits Timothy Gowers 30 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 30 Oct 2023 10:00 - 12:00 Seminar 14:00 - 15:00 What is motivated evidence ? Timothy Gowers 30 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 30 Oct 2023 14:00 - 15:00 Lecture 10:00 - 12:00 Lower terminals for monotonic circuits Timothy Gowers 06 Nov 2023 Complexity theory Salle 5, Site Marcelin Berthelot 06 Nov 2023 10:00 - 12:00 Seminar 14:00 - 15:00 What does " think " mean in mathematics ? Frédéric Jaëck 06 Nov 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 06 Nov 2023 14:00 - 15:00 Lecture 10:00 - 12:00 The notion of natural proof and the difficulty of showing that P ≠ NP Timothy Gowers 13 Nov 2023 Complexity theory Salle 5, Site Marcelin Berthelot 13 Nov 2023 10:00 - 12:00 Seminar 14:00 - 15:00 Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics Colin Rittberg 13 Nov 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 13 Nov 2023 14:00 - 15:00 See also Seminar related to the lecture: The philosophy of mathematical practice Timothy Gowers, chair Combinatorics
Lecture 10:00 - 12:00 P and NP complexity classes and NP-complete problems Timothy Gowers 09 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 09 Oct 2023 10:00 - 12:00
Seminar 14:00 - 15:00 AI and the future of mathematical practice Amaury Hayat 09 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 09 Oct 2023 14:00 - 15:00
Lecture 10:00 - 12:00 The #P class and the complexity of calculating the permanent of a 0-1 matrix Timothy Gowers 16 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 16 Oct 2023 10:00 - 12:00
Seminar 14:00 - 15:00 A Dialogical Account of Proofs in Mathematical Practice Catarina Dutilh Novaes 16 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 16 Oct 2023 14:00 - 15:00
Lecture 10:00 - 12:00 Boolean circuits and the P/poly class Timothy Gowers 23 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 23 Oct 2023 10:00 - 12:00
Seminar 14:00 - 15:00 How to Apply Category Theory: from Physics to Epidemiology David Corfield 23 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 23 Oct 2023 14:00 - 15:00
Lecture 10:00 - 12:00 Lower terminals for constant depth circuits Timothy Gowers 30 Oct 2023 Complexity theory Salle 5, Site Marcelin Berthelot 30 Oct 2023 10:00 - 12:00
Seminar 14:00 - 15:00 What is motivated evidence ? Timothy Gowers 30 Oct 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 30 Oct 2023 14:00 - 15:00
Lecture 10:00 - 12:00 Lower terminals for monotonic circuits Timothy Gowers 06 Nov 2023 Complexity theory Salle 5, Site Marcelin Berthelot 06 Nov 2023 10:00 - 12:00
Seminar 14:00 - 15:00 What does " think " mean in mathematics ? Frédéric Jaëck 06 Nov 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 06 Nov 2023 14:00 - 15:00
Lecture 10:00 - 12:00 The notion of natural proof and the difficulty of showing that P ≠ NP Timothy Gowers 13 Nov 2023 Complexity theory Salle 5, Site Marcelin Berthelot 13 Nov 2023 10:00 - 12:00
Seminar 14:00 - 15:00 Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics Colin Rittberg 13 Nov 2023 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 13 Nov 2023 14:00 - 15:00
