16 Oct 2023 14:00 - 15:00 Seminar A Dialogical Account of Proofs in Mathematical Practice Catarina Dutilh Novaes The philosophy of mathematical practice 16 Oct 2023 14:00 - 15:00 Share Facebook Linkedin Copy url Audio-visual RSS
Monday 16 October 2023 Salle 5, Site Marcelin Berthelot Open to all 14:00 - 15:00 Skip youtube video player Listen to audio Speaker(s) Catarina Dutilh Novaes Vrije Universiteit Amsterdam and University of St Andrews Events Previous Lecture 9 Oct 2023 10:00 - 12:00 Timothy Gowers P and NP complexity classes and NP-complete problems Seminar 9 Oct 2023 14:00 - 15:00 Amaury Hayat AI and the future of mathematical practice Lecture 16 Oct 2023 10:00 - 12:00 Timothy Gowers The #P class and the complexity of calculating the permanent of a 0-1 matrix Seminar 16 Oct 2023 14:00 - 15:00 Catarina Dutilh Novaes A Dialogical Account of Proofs in Mathematical Practice Lecture 23 Oct 2023 10:00 - 12:00 Timothy Gowers Boolean circuits and the P/poly class Seminar 23 Oct 2023 14:00 - 15:00 David Corfield How to Apply Category Theory: from Physics to Epidemiology Lecture 30 Oct 2023 10:00 - 12:00 Timothy Gowers Lower terminals for constant depth circuits Seminar 30 Oct 2023 14:00 - 15:00 Timothy Gowers What is motivated evidence ? Lecture 6 Nov 2023 10:00 - 12:00 Timothy Gowers Lower terminals for monotonic circuits Seminar 6 Nov 2023 14:00 - 15:00 Frédéric Jaëck What does " think " mean in mathematics ? Lecture 13 Nov 2023 10:00 - 12:00 Timothy Gowers The notion of natural proof and the difficulty of showing that P ≠ NP Seminar 13 Nov 2023 14:00 - 15:00 Colin Rittberg Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics Next See also Lecture related to the seminar: Complexity theory Timothy Gowers, chair Combinatorics The philosophy of mathematical practice
Lecture 16 Oct 2023 10:00 - 12:00 Timothy Gowers The #P class and the complexity of calculating the permanent of a 0-1 matrix
Seminar 16 Oct 2023 14:00 - 15:00 Catarina Dutilh Novaes A Dialogical Account of Proofs in Mathematical Practice
Seminar 23 Oct 2023 14:00 - 15:00 David Corfield How to Apply Category Theory: from Physics to Epidemiology
Lecture 13 Nov 2023 10:00 - 12:00 Timothy Gowers The notion of natural proof and the difficulty of showing that P ≠ NP
Seminar 13 Nov 2023 14:00 - 15:00 Colin Rittberg Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics