Name: Axioms and Definitions in the 19th and 20th Centuries
Start: 2026-06-11T13:30:00+02:00
End: 2026-06-12T16:45:00+02:00
Location: IHP - Bâtiment Borel

Axioms and Definitions in the 19th and 20th Centuries

de jeudi 11 juin 2026 (13:30) à vendredi 12 juin 2026 (16:45)

lundi 8 juin 2026
mardi 9 juin 2026
mercredi 10 juin 2026
jeudi 11 juin 2026

13:30 Accueil
Accueil
13:30 - 14:00
Room: Salle Pierre Grisvard
14:00 The Evolution of Bolzano’s Views on Definition - Paul Rusnock (University of Ottawa)
The Evolution of Bolzano’s Views on Definition
- Paul Rusnock (University of Ottawa)
14:00 - 15:15
Room: Salle Pierre Grisvard
15:15 Pause
Pause
15:15 - 15:45
Room: Salle Pierre Grisvard
15:45 Axioms and Definitions in Russell - Sébastien Gandon (Université Clermont Auvergne)
Axioms and Definitions in Russell
- Sébastien Gandon (Université Clermont Auvergne)
15:45 - 17:00
Room: Salle Pierre Grisvard
17:00 Pause
Pause
17:00 - 17:15
Room: Salle Pierre Grisvard
17:15 Conceptual Analysis and the Dialectic of Rigour: Gödel’s Conception of Axiomatics - Gabriella Crocco (Centre Gilles Gaston Granger, Aix-Marseille)
Conceptual Analysis and the Dialectic of Rigour: Gödel’s Conception of Axiomatics
- Gabriella Crocco (Centre Gilles Gaston Granger, Aix-Marseille)
17:15 - 18:30
Room: Salle Pierre Grisvard
vendredi 12 juin 2026

09:00 Accueil
Accueil
09:00 - 09:30
Room: Salle Pierre Grisvard
09:30 Where were the Axioms for the Calculus? - Jeremy Gray (The Open University)
Where were the Axioms for the Calculus?
- Jeremy Gray (The Open University)
09:30 - 10:45
Room: Salle Pierre Grisvard
10:45 Pause
Pause
10:45 - 11:15
Room: Salle Pierre Grisvard
11:15 TBA - Thomas Ryckman (Stanford University)
TBA
- Thomas Ryckman (Stanford University)
11:15 - 12:30
Room: Salle Pierre Grisvard
12:30 Pause
Pause
12:30 - 14:00
Room: Salle Pierre Grisvard
14:00 Axioms and Definitions in Early Set Theory: The Cases of Dedekind and Cantor - José Ferreiros (University of Sevilla)
Axioms and Definitions in Early Set Theory: The Cases of Dedekind and Cantor
- José Ferreiros (University of Sevilla)
14:00 - 15:15
Room: Salle Pierre Grisvard
15:15 Pause
Pause
15:15 - 15:30
Room: Salle Pierre Grisvard
15:30 Searching for the Weakest System of Axioms Needed to Prove a Certain Theorem: Reverse Geometry in Modern Times - Victor Pambuccian (Arizona State University)
Searching for the Weakest System of Axioms Needed to Prove a Certain Theorem: Reverse Geometry in Modern Times
- Victor Pambuccian (Arizona State University)
15:30 - 16:45
Room: Salle Pierre Grisvard

Choisissez le fuseau horaire