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, 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

    Les classes de complexité P et NP et les problèmes NP-complets
    Timothy Gowers

    Cours
    10:00 à 12:00

    L’AI et l’avenir de la pratique des mathématiques
    Amaury Hayat

    Séminaire
    14:00 à 15:00

    La classe #P et la complexité du calcul du permanent d’une matrice 0-1
    Timothy Gowers

    Cours
    10:00 à 12:00

    A Dialogical Account of Proofs in Mathematical Practice
    Catarina Dutilh Novaes

    Séminaire
    14:00 à 15:00

    Les circuits booléens et la classe P/poly
    Timothy Gowers

    Cours
    10:00 à 12:00

    How to Apply Category Theory: from Physics to Epidemiology
    David Corfield

    Séminaire
    14:00 à 15:00

    Bornes inférieures pour des circuits de profondeur constante
    Timothy Gowers

    Cours
    10:00 à 12:00

    Qu’est-ce qu’une preuve motivée ?
    Timothy Gowers

    Séminaire
    14:00 à 15:00

    Bornes inférieures pour des circuits monotones
    Timothy Gowers

    Cours
    10:00 à 12:00

    Que signifie « penser » en mathématiques ?
    Frédéric Jaëck

    Séminaire
    14:00 à 15:00

    La notion de preuve naturelle et la difficulté de montrer que P ≠ NP
    Timothy Gowers

    Cours
    10:00 à 12:00

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

    Séminaire
    14:00 à 15:00

    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