16 oct 2023 14:00 à 15:00 Séminaire A Dialogical Account of Proofs in Mathematical Practice Catarina Dutilh Novaes La philosophie de la pratique des mathématiques 16 oct 2023 14:00 à 15:00 Partager Facebook Linkedin Copier le lien Flux RSS Audiovisuel
Lundi 16 octobre 2023 Salle 5, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 14:00 - 15:00 Sauter le player vidéo Youtube Écouter l'audio Intervenant(s) Catarina Dutilh Novaes Vrije Universiteit Amsterdam et University of St Andrews Événements Précédent Cours 09 oct 2023 10:00 à 12:00 Timothy Gowers Les classes de complexité P et NP et les problèmes NP-complets Séminaire 09 oct 2023 14:00 à 15:00 Amaury Hayat L’AI et l’avenir de la pratique des mathématiques Cours 16 oct 2023 10:00 à 12:00 Timothy Gowers La classe #P et la complexité du calcul du permanent d’une matrice 0-1 Séminaire 16 oct 2023 14:00 à 15:00 Catarina Dutilh Novaes A Dialogical Account of Proofs in Mathematical Practice Cours 23 oct 2023 10:00 à 12:00 Timothy Gowers Les circuits booléens et la classe P/poly Séminaire 23 oct 2023 14:00 à 15:00 David Corfield How to Apply Category Theory: from Physics to Epidemiology Cours 30 oct 2023 10:00 à 12:00 Timothy Gowers Bornes inférieures pour des circuits de profondeur constante Séminaire 30 oct 2023 14:00 à 15:00 Timothy Gowers Qu’est-ce qu’une preuve motivée ? Cours 06 nov 2023 10:00 à 12:00 Timothy Gowers Bornes inférieures pour des circuits monotones Séminaire 06 nov 2023 14:00 à 15:00 Frédéric Jaëck Que signifie « penser » en mathématiques ? Cours 13 nov 2023 10:00 à 12:00 Timothy Gowers La notion de preuve naturelle et la difficulté de montrer que P ≠ NP Séminaire 13 nov 2023 14:00 à 15:00 Colin Rittberg Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics Suivant Voir aussi Cours en relation avec le séminaire : La théorie de la complexité Timothy Gowers, chaire Combinatoire La philosophie de la pratique des mathématiques
Cours 09 oct 2023 10:00 à 12:00 Timothy Gowers Les classes de complexité P et NP et les problèmes NP-complets
Cours 16 oct 2023 10:00 à 12:00 Timothy Gowers La classe #P et la complexité du calcul du permanent d’une matrice 0-1
Séminaire 16 oct 2023 14:00 à 15:00 Catarina Dutilh Novaes A Dialogical Account of Proofs in Mathematical Practice
Séminaire 23 oct 2023 14:00 à 15:00 David Corfield How to Apply Category Theory: from Physics to Epidemiology
Cours 30 oct 2023 10:00 à 12:00 Timothy Gowers Bornes inférieures pour des circuits de profondeur constante
Cours 13 nov 2023 10:00 à 12:00 Timothy Gowers La notion de preuve naturelle et la difficulté de montrer que P ≠ NP
Séminaire 13 nov 2023 14:00 à 15:00 Colin Rittberg Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics