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
14:00 à 15:00
    Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Intervenant(s)

    Catarina Dutilh Novaes

    Vrije Universiteit Amsterdam et University of St Andrews

    Événements

    Cours
    10:00 à 12:00
    Timothy Gowers

    Les classes de complexité P et NP et les problèmes NP-complets
    Séminaire
    14:00 à 15:00
    Amaury Hayat

    L’AI et l’avenir de la pratique des mathématiques
    Cours
    10:00 à 12:00
    Timothy Gowers

    La classe #P et la complexité du calcul du permanent d’une matrice 0-1
    Séminaire
    14:00 à 15:00
    Catarina Dutilh Novaes

    A Dialogical Account of Proofs in Mathematical Practice
    Cours
    10:00 à 12:00
    Timothy Gowers

    Les circuits booléens et la classe P/poly
    Séminaire
    14:00 à 15:00
    David Corfield

    How to Apply Category Theory: from Physics to Epidemiology
    Cours
    10:00 à 12:00
    Timothy Gowers

    Bornes inférieures pour des circuits de profondeur constante
    Séminaire
    14:00 à 15:00
    Timothy Gowers

    Qu’est-ce qu’une preuve motivée ?
    Cours
    10:00 à 12:00
    Timothy Gowers

    Bornes inférieures pour des circuits monotones
    Séminaire
    14:00 à 15:00
    Frédéric Jaëck

    Que signifie « penser » en mathématiques ?
    Cours
    10:00 à 12:00
    Timothy Gowers

    La notion de preuve naturelle et la difficulté de montrer que P ≠ NP
    Séminaire
    14:00 à 15:00
    Colin Rittberg

    Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics

    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