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

Intuitionistic Inductive Definitions

Mark van Atten
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)

    Mark van Atten

    CNRS (rattaché aux Archives Husserl (CNRS/ENS), Paris)

    É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