14:00 à 15:00
Séminaire

Search, Reason or Recombine?—Paradigms for Scaling Formal Proving

Fabian Gloeckle
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)

    Fabian Gloeckle

    École nationale des ponts et chaussées

    Événements

    Reasoning with Specifics—the Use of Examples in Mathematics
    Carolin Antos

    Séminaire
    14:00 à 15:00

    À la recherche d'une « culture compatible avec notre époque » : le…
    Frederike Lieven

    Séminaire
    14:00 à 15:00

    Le cinquième nombre Busy Beaver
    Tristan Stérin

    Séminaire
    14:00 à 15:00

    Des mathématiques comme une activité essentiellement écrite
    Karine Chemla

    Séminaire
    14:00 à 15:00

    Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
    Fabian Gloeckle

    Séminaire
    14:00 à 15:00

    Intuitionistic Inductive Definitions
    Mark van Atten

    Séminaire
    14:00 à 15:00
    Non enregistré

    Voir aussi

    Timothy Gowers, chaire Combinatoire
    La philosophie de la pratique des mathématiques