14:00 to 15:00
Seminar
Not recorded

Intuitionistic Inductive Definitions

Mark van Atten
The philosophy of mathematical practice
14:00 to 15:00
    Salle 5, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    Mark van Atten

    CNRS (attached to the Archives Husserl (CNRS/ENS), Paris)

    Events

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

    Seminar
    14:00 to 15:00

    In search of a " culture compatible with our times " : modern math…
    Frederike Lieven

    Seminar
    14:00 to 15:00

    The fifth Busy Beaver number
    Tristan Stérin

    Seminar
    14:00 to 15:00

    Mathematics as an Essentially Written Activity
    Karine Chemla

    Seminar
    14:00 to 15:00

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

    Seminar
    14:00 to 15:00

    Intuitionistic Inductive Definitions
    Mark van Atten

    Seminar
    14:00 to 15:00
    Not recorded

    See also

    Timothy Gowers, chair Combinatorics
    The philosophy of mathematical practice