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 (salle 5), 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

    Séminaire
    14:00 à 15:00
    Carolin Antos

    Reasoning with Specifics—the Use of Examples in Mathematics
    Séminaire
    14:00 à 15:00
    Frederike Lieven

    À la recherche d'une « culture compatible avec notre époque » : le…
    Séminaire
    14:00 à 15:00
    Tristan Stérin

    Le cinquième nombre Busy Beaver
    Séminaire
    14:00 à 15:00
    Karine Chemla

    Des mathématiques comme une activité essentiellement écrite
    Séminaire
    14:00 à 15:00
    Fabian Gloeckle

    Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
    Séminaire
    14:00 à 15:00
    Mark van Atten

    Intuitionistic Inductive Definitions

    Non enregistré

    Voir aussi

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