2:00 - 3:00pm
Seminar

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

Fabian Gloeckle
The philosophy of mathematical practice
2:00 - 3:00pm
    Salle 5, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    Fabian Gloeckle

    École nationale des ponts et chaussées

    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