14:00 to 15:00
Seminar

Reasoning with Specifics-the Use of Examples in Mathematics

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

    Speaker(s)

    Carolin Antos

    University of Konstanz

    Events

    Seminar
    14:00 to 15:00
    Carolin Antos

    Reasoning with Specifics-the Use of Examples in Mathematics
    Seminar
    14:00 to 15:00
    Frederike Lieven

    In search of a " culture compatible with our times " : modern math…
    Seminar
    14:00 to 15:00
    Tristan Stérin

    The fifth Busy Beaver number
    Seminar
    14:00 to 15:00
    Karine Chemla

    Mathematics as an Essentially Written Activity
    Seminar
    14:00 to 15:00
    Fabian Gloeckle

    Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
    Seminar
    14:00 to 15:00
    Mark van Atten

    Intuitionistic Inductive Definitions

    Not recorded

    See also

    Timothy Gowers, chair Combinatorics
    The philosophy of mathematical practice