→
Seminar

The philosophy of mathematical practice

→
    from to
    See also:
    Points noirs sur fond gris en grille régulière à gauche et se dispersant sur la droite
    Order to disorder - © T. Gowers, Collège de France.

    Presentation

    This seminar focuses on the nature of mathematics in general, rather than on specific mathematical topics. The emphasis is on how mathematics is practiced. Seminar speakers include historians, philosophers, artificial intelligence researchers and mathematicians themselves.

    Documents and media

    Program

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

    -
    Seminar
    The philosophy of mathematical practice
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    In search of a " culture compatible with our times " : modern mathematics in France, the GDR and the FRG
    Frederike Lieven

    -
    Seminar
    The philosophy of mathematical practice
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    The fifth Busy Beaver number
    Tristan Stérin

    -
    Seminar
    The philosophy of mathematical practice
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    Mathematics as an Essentially Written Activity
    Karine Chemla

    -
    Seminar
    The philosophy of mathematical practice
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

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

    -
    Seminar
    The philosophy of mathematical practice
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    Intuitionistic Inductive Definitions
    Mark van Atten

    -
    Not recorded
    Seminar
    The philosophy of mathematical practice
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    See also

    Timothy Gowers, chair Combinatorics