MATHÉMATIQUES 19E-21E, HISTOIRE ET PHILOSOPHIE
Le séminaire d’histoire et de philosophie des mathématiques modernes est un lieu de présentation et de discussion de textes mathématiques produits aux 19e, 20e et 21e siècles, dans des perspectives aussi bien historiques que philosophiques. Il entend servir de lieu d’exploration (lecture, traduction, explication) de documents mathématiques peu ou mal connus, mais également de présentation de travaux en cours sur ces périodes. L’accent est mis sur la proximité avec les sources textuelles. Les séances prennent, le plus souvent, la forme d’une discussion desdites sources (auxquelles les orateurs donnent accès au préalable), précédée d’un exposé historique ou mathématique.
Organisation : Thomas Berthod, Paul-Emmanuel Timotei et Clément Bonvoisin
PROGRAMME 2023-2024
Nous nous réunirons un vendredi par mois en Salle Malevitch (483A) bâtiment Condorcet, Université Paris-Cité - 4 rue Elsa Morante, 75013 - Paris
- Leo Corrry (Tel Aviv University)
Two Views of Excellence in Research, Two Views of Zionist Nation-Building : Pure Mathematics at the Hebrew University, Applied Mathematics at the Weizmann Institute.
- Jan von Plato (University of Helsinki)
New light on Gödel’s life and work
- Michael Friedman (The Cohn Institute for the History and Philosophy of Science and Ideas - Humanities Faculty - Tel Aviv University)
Models and calculations at the end of the 19th century
- Patrick Popescu-Pampu (Laboratoire Paul Painlevé - Université de Lille)
From infinitely near points to trees and lotuses
Théorie de l’homotopie
- Andrea Gentili (Università di Genova), The homotopical approach to mathematics
- Jean-Pierre Marquis (Université de Montréal), Why homotopy theory matters to philosophy of mathematics
Nombres et Continu
- Gilles Godefroy (IMJ-PRG, CNRS): The use of large cardinals in analysis.
- Thomas Berthod (SPHERE, Université Paris Cité): The real numbers according to Lebesgue: a new construction imbued with philosophical reflections?
- Michael Harris (Columbia University): Mechanical understanding of proofs?
- Clément Bonvoisin (SPHERE, Université Paris Cité): Computations made proof. On the reassessment of an equation a decade after its writing at RAND Corporation (1948-1961)
Analyse modale du continu
- Filippo Costantini (ERC Philiumm, SPHERE): The continuum from Hellman & Shapiro to Leibniz
- Brice Halimi (Univ. Paris Cité & SPHERE): Analyse continue des modalités
[séance annulée] Séance sur la notion de co-algèbre
- Jeffrey Elawani (University McMaster et Université Paris Cité): Measurement and numbers in Leibniz. A coalgebraic approach to continuous quantities ?
- Graham Leach-Krouse (Software engineer et auparavant à Kansas University): Coalgebras for philosophers
- François Lê (Institut Camille Jordan, Université Claude Bernard Lyon 1): On Charles Hermite’s style
- Nicolas Michel (Bergische Universität Wuppertal): Computations and exactness in G.-H. Halphen’s enumerative geometry
- Jean-Jacques Szczeciniarz (Professeur émérite, Université Paris Cité-SPHERE): About Penrose Transform the rôle played by the computation
- Paul-Emmanuel Timotei (Doctorant, Université Paris Cité-SPHERE): Georges-Henri Halphen’s approaches to the reduction of singularities
