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

    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