17 Nov 2025 14:00 to 15:00 Seminar Not recorded Intuitionistic Inductive Definitions Mark van Atten The philosophy of mathematical practice 17 Nov 2025 14:00 to 15:00 Share Facebook LinkedIn Bluesky Threads Copy url Audio-visual RSS
Monday 17 November 2025 Salle 5, Site Marcelin Berthelot Open to all 14:00 - 15:00 Add this event to my calendar iCalendar (.ics) Google Calendar Microsoft Outlook.com Office 365 Yahoo! Calendar Speaker(s) Mark van Atten CNRS (attached to the Archives Husserl (CNRS/ENS), Paris) Events Previous Seminar 13 Oct 2025 14:00 to 15:00 Carolin Antos Reasoning with Specifics-the Use of Examples in Mathematics Seminar 20 Oct 2025 14:00 to 15:00 Frederike Lieven In search of a " culture compatible with our times " : modern math… Seminar 27 Oct 2025 14:00 to 15:00 Tristan Stérin The fifth Busy Beaver number Seminar 3 Nov 2025 14:00 to 15:00 Karine Chemla Mathematics as an Essentially Written Activity Seminar 10 Nov 2025 14:00 to 15:00 Fabian Gloeckle Search, Reason or Recombine?—Paradigms for Scaling Formal Proving Seminar 17 Nov 2025 14:00 to 15:00 Mark van Atten Intuitionistic Inductive Definitions Not recorded Next See also Timothy Gowers, chair Combinatorics The philosophy of mathematical practice
Seminar 13 Oct 2025 14:00 to 15:00 Carolin Antos Reasoning with Specifics-the Use of Examples in Mathematics
Seminar 20 Oct 2025 14:00 to 15:00 Frederike Lieven In search of a " culture compatible with our times " : modern math…
Seminar 10 Nov 2025 14:00 to 15:00 Fabian Gloeckle Search, Reason or Recombine?—Paradigms for Scaling Formal Proving