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 InfinityThis project receives funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 838445.   EU-flag

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.

Published Mar. 5, 2021 9:34 AM - Last modified Apr. 12, 2022 9:37 AM