Skip to main content
The English version of this website is provided through automatic translation.

Quick access

  • Events
  • Audios & videos
  • Chaires
  • FR
  • FR

Navigation principale

  • Public lectures
    • Agenda
    • Audio & video
    • Current chairs
    • Special events
    • Guest lecturers
    • All public lectures
  • Research
  • Libraries
  • Publishing
  • Le Collège de France
    • The Collège and its history
    • The chairs
    • Awards
    • Special events
    • Special initiatives
    • Digital resources
    • The Collège de France Foundation
    • The Hugot Foundation
    • PSL University
    • Doctoral studies
    • Working at the Collège de France
    • News
    • Visiting the Collège de France

Quick access

  • Events
  • Audios & videos
  • Chaires
8 Nov 2021
14:00 - 15:00
Seminar

What can be said about the mechanization of mathematics?

Michael Harris
The philosophy of mathematical practice
8 Nov 2021
14:00 - 15:00
  • Facebook
  • LinkedIn
  • Bluesky
  • Threads
  • Copy url
  • Audio-visual RSS
    Monday 8 November 2021
    Salle 5, Site Marcelin Berthelot
    Open to all
    14:00 - 15:00
    Skip youtube video player
    Listen to audio

    Speaker(s)

    Michael Harris

    Events

    Lecture
    11 Oct 2021
    10:00 - 12:00
    Timothy Gowers

    Arithmetic progressions of length 3 (I)

    Seminar
    11 Oct 2021
    14:00 - 15:00
    Timothy Gowers

    Why believe in a mathematical statement for which there is no proof ? (I)

    Lecture
    18 Oct 2021
    10:00 - 12:00
    Timothy Gowers

    Arithmetic progressions of length 3 (II)

    Seminar
    18 Oct 2021
    14:00 - 15:00
    Timothy Gowers

    Why believe in a mathematical statement for which there is no proof ? (II)

    Lecture
    25 Oct 2021
    10:00 - 12:00
    Timothy Gowers

    The theory of sums of sets of integers (I)

    Seminar
    25 Oct 2021
    14:00 - 15:00
    Valeria Giardino et Frédéric Patras

    The role of diagrams in mathematical practice

    Lecture
    8 Nov 2021
    10:00 - 12:00
    Timothy Gowers

    The theory of sums of sets of integers (II)

    Seminar
    8 Nov 2021
    14:00 - 15:00
    Michael Harris

    What can be said about the mechanization of mathematics?

    Lecture
    15 Nov 2021
    10:00 - 12:00
    Timothy Gowers

    Dependent random selection

    Seminar
    15 Nov 2021
    14:00 - 15:00
    Kevin Buzzard

    What is Proof?

    Lecture
    22 Nov 2021
    10:00 - 12:00
    Timothy Gowers

    Introduction to non-abelian theory

    Seminar
    22 Nov 2021
    14:00 - 15:00
    Yves André

    Can we think without concepts in mathematics ?…

    See also

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

    Breadcrumb

    1. Home
    2. Current chairs
    3. Timothy Gowers, chair Combinatorics
    4. Public lectures
    5. The philosophy of mathematical practice
    6. What can be said about the mechanization of mathematics?

    Shortcuts

    • Agenda
    • Audio & video
    • Podcasts
    • News
    • Press & logo kit
    • The Collège in 10 questions
    • Doctoral studies
    • Working at the Collège de France
    • Public procurement
    • Newsletter
    • Visit the Collège de France
    • Patrons and donors

    Our websites

    • Intranet
    • Omnia
    • Salamandre
    • Colligere
    • Collège de France Foundation
    • PAUSE program
    • Avenir Commun Durable
    • La Vie des idées
    • Campus de l’innovation pour les lycées

    Subscribe to our newsletter

    Follow us

    Donate

    Footer menu

    • Location and contact
    • Legal notice
    • Credits
    • Accessibility: not-compliant