→
Seminar

The philosophy of mathematical practice

→
    from to
    See also:

    Documents and media

    Program

    P and NP complexity classes and NP-complete problems
    Timothy Gowers

    -
    Lecture
    Complexity theory
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    AI and the future of mathematical practice
    Amaury Hayat

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

    The #P class and the complexity of calculating the permanent of a 0-1 matrix
    Timothy Gowers

    -
    Lecture
    Complexity theory
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    A Dialogical Account of Proofs in Mathematical Practice
    Catarina Dutilh Novaes

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

    Boolean circuits and the P/poly class
    Timothy Gowers

    -
    Lecture
    Complexity theory
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    How to Apply Category Theory: from Physics to Epidemiology
    David Corfield

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

    Lower terminals for constant depth circuits
    Timothy Gowers

    -
    Lecture
    Complexity theory
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    What is motivated evidence ?
    Timothy Gowers

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

    Lower terminals for monotonic circuits
    Timothy Gowers

    -
    Lecture
    Complexity theory
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    What does " think " mean in mathematics ?
    Frédéric Jaëck

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

    The notion of natural proof and the difficulty of showing that P ≠ NP
    Timothy Gowers

    -
    Lecture
    Complexity theory
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    -

    Who Is Allowed to Participate? – On Justified epistemic Exclusions in Mathematics
    Colin Rittberg

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

    See also

    Lecture related to the seminar: Complexity theory
    Timothy Gowers, chair Combinatorics