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