2:00 - 3:00pm
Seminar

A Dialogical Account of Proofs in Mathematical Practice

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

    Speaker(s)

    Catarina Dutilh Novaes

    Vrije Universiteit Amsterdam and University of St Andrews

    Events

    Lecture
    10:00am - 12:00pm
    Timothy Gowers

    P and NP complexity classes and NP-complete problems
    Seminar
    2:00 - 3:00pm
    Amaury Hayat

    AI and the future of mathematical practice
    Lecture
    10:00am - 12:00pm
    Timothy Gowers

    The #P class and the complexity of calculating the permanent of a 0-1 matrix
    Seminar
    2:00 - 3:00pm
    Catarina Dutilh Novaes

    A Dialogical Account of Proofs in Mathematical Practice
    Lecture
    10:00am - 12:00pm
    Timothy Gowers

    Boolean circuits and the P/poly class
    Seminar
    2:00 - 3:00pm
    David Corfield

    How to Apply Category Theory: from Physics to Epidemiology
    Lecture
    10:00am - 12:00pm
    Timothy Gowers

    Lower terminals for constant depth circuits
    Seminar
    2:00 - 3:00pm
    Timothy Gowers

    What is motivated evidence ?
    Lecture
    10:00am - 12:00pm
    Timothy Gowers

    Lower terminals for monotonic circuits
    Seminar
    2:00 - 3:00pm
    Frédéric Jaëck

    What does " think " mean in mathematics ?
    Lecture
    10:00am - 12:00pm
    Timothy Gowers

    The notion of natural proof and the difficulty of showing that P ≠ NP
    Seminar
    2:00 - 3:00pm
    Colin Rittberg

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

    See also

    Lecture related to the seminar: Complexity theory
    Timothy Gowers, chair Combinatorics
    The philosophy of mathematical practice