2:00 - 3:00pm
Seminar
Not recorded

Intuitionistic Inductive Definitions

Mark van Atten
The philosophy of mathematical practice
2:00 - 3:00pm
    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
    2:00 - 3:00pm

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

    Seminar
    2:00 - 3:00pm

    The fifth Busy Beaver number
    Tristan Stérin

    Seminar
    2:00 - 3:00pm

    Mathematics as an Essentially Written Activity
    Karine Chemla

    Seminar
    2:00 - 3:00pm

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

    Seminar
    2:00 - 3:00pm

    Intuitionistic Inductive Definitions
    Mark van Atten

    Seminar
    2:00 - 3:00pm
    Not recorded

    See also

    Timothy Gowers, chair Combinatorics
    The philosophy of mathematical practice