Schedule

!! Just released !!

Classiques Garnier, Series Rencontres, n° 479, coll. Études de philosophie, n° 13, 597p., 2021, E. Haffner, D. Rabouin, (Eds.)

THURSDAY JUNE 15, Amphi Rataud, ENS Ulm

9:15–9:30	Max KISTLER	Introduction
Chair: Jean-Jacques SZCZECINIARZ
9:30–10:30	Jean-Michel SALANSKIS	"Histoire, mathématique, philosophie"
10:30–11:30	Marie-Françoise ROY	"Elimination des quantificateurs versus 17e problème de Hilbert"
Break
Moderator: Mark VAN ATTEN
11:45–13:00	Roundtable	Logique & Philosophie des mathématiques Marco PANZA, Ali BENMAKHLOUF, Gerhard HEINZMANN
Lunch
Chair: Pascal CROZET
14:30–15:30	Roshdi RASHED	"Fermat critique de la Géométrie de Descartes"
15:30–16:30	Marie-José DURAND-RICHARD	"L’algèbre Symbolique comme fondement des pratiques algorithmiques à Cambridge (1801-1839)"
Break
16:45–17:45	Max Fernández DE CASTRO	"The Controversy between Frege and Hilbert"
Moderator:
17:45–19:00	Roundtable	Témoignages Antonia SOULEZ, Jan SEBESTIK, Elisabeth SCHWARTZ, ...
Cocktail (Patio, restaurant of ENS)

FRIDAY JUNE 16, Amphi Rataud, ENS Ulm

Chair: Valeria GIARDINO
9:30–10:30	Paul CORTOIS	"Vers une interprétation moins tronquée de l'œuvre tronquée de Cavaillès"
10:30–11:30	Emily GROSHOLZ	"Reflections on Cantor’s and Dedekind’s Theory of Numbers"
Break
Moderator: Brice Halimi
11:45–13:00	Roundtable	Autour de la Société Cavaillès Jean-Jacques SZCZECINIARZ, Baptiste MELES, Pierre WAGNER
Lunch
Chair: Michael Detlefsen
14:30–15:30	Erhard SCHOLZ	"E. Cartan's inventive bridge between Einstein and the Cosserats: Why translational curvature became to be known as torsion"
15:30–16:30	Emmylou HAFFNER	"Arithmétique, logique et généralité chez Richard Dedekind"
Break
16:45–17:45	Ivahn SMADJA	"Hermann Hankel et les Berlinois : sur deux conceptions des mathématiques et de leur histoire"
Moderator: David RABOUIN
17:45–18:00	Roundtable	Histoire et philosophie des mathématiques au XIX^e siècle Christophe ECKES, Frédéric JAECK, Karine CHEMLA

SATURDAY JUNE 17, Room Cavaillès, Sorbonne

Chair: Jacques DUBUCS
10:00–11:00	Jean-Pierre MARQUIS	"Métamathématique et logique catégorique"
Break
11:15–12:30	Hourya BENIS SINACEUR	Hourya Benis Sinaceur answers, and discussion
Lunch

Online user: 1