Workshop on Predicativity
The aim of this workshop is to foster discussion on predicativity, especially, but not exclusively, on constructive predicativity from a number of perspectives.
This workshop is within the project Infinity in Mathematics: a Philosophical Analysis of Critical Views of Infinity. This project receives funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 838445.
Speakers
Stewart Shapiro (Ohio, USA), Michael Rathjen (Leeds, UK), Giovanni Sambin (Padua, Italy), Maria Emilia Maietti (Padua, Italy), Øystein Linnebo (Oslo), Laura Crosilla (Oslo)
Schedule
(all times are Oslo time, i.e. CET):
- 12:50 Opening
- 13:00 -- 13:50 Laura Crosilla: Predicativity as invariance
10 minutes break
- 14:00 -- 14:50 Giovanni Sambin: Predicativity from the perspective of dynamic constructivism
Break
- 15:15 -- 16:05 Maria Emilia Maietti: What discriminates the Minimalist Foundation among predicative foundations for Bishop's constructive mathematics?
10 minutes break
- 16:15 -- 17:05 Øystein Linnebo and Stewart Shapiro: Predicativism and potential totalities
Break
- 17:30 -- 18:20 Michael Rathjen: Predicativity, polymorphism and function spaces
Organizers
Øystein Linnebo and Laura Crosilla
The workshop will take place via Zoom. Please write to Laura.Crosilla@ifikk.uio.no for a Zoom-invite.