14:00 to 15:00
Seminar

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

Fabian Gloeckle
The philosophy of mathematical practice
14:00 to 15:00
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    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
    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