October 12th 2026, ForMat's Team
October 26th 2026, Shuwei Wang (University of Warsaw), Nik Weaver's conceptualist ideal and predicative actualisations
Abstract: This talk shall focus on the formal proof-theoretic analysis of a weak, semi-intuitionistic third-order system of arithmetic and the capabilities of developing mathematics within it. The system is proposed by Nik Weaver, an analyst-turned-philosopher, in order to fulfil his ideals of mathematical conceptualism — essentially a modern refurbishment of Weylian predicativism. We shall explore the intuitionistic and constructive perks of this theory through a realisability interpretation and exploit the ordinal analysis paradigm to assess whether it has accomplished Weaver's goal of characterising the predicative mathematical domain.
The talk is based on the speaker's PhD work and the survey essay Recent Developments on Predicative Foundations, joint work with Michael Rathjen, in the latest collection Pillars of Enduring Strength: Learning from Hermann Weyl.
November 9th 2026, Michał Wrocławski (University of Warsaw)
Abstract: TBA
November 23th 2026, Ludovica Conti (University of Vienna)
Abstract: TBA
December 7th 2026, Roman Kossak (CUNY)
Abstract: TBA
January 18th 2027, Carlo Nicolai (King's College London)
Abstract: TBA
February 15th 2027, Balthasar Grabmayr (Tübingen University)
Abstract: TBA