Events

Stewart Shapiro (Ohio State University and University of Oslo) will give a talk titled "Does God collapse potential infinity to actual infinity?"

(joint work with Samuel Levey and Øystein Linnebo)

Michael Rathjen (University of Leeds) will give a talk titled "Completeness: Turing, Schütte, Feferman"

Jon Erling Litland  (University of Texas at Austin) will give a talk titled "Generating Propositions"

A workshop dedicated to Hermann Weyl's Philosophy of Mathematics

Sara Negri (University of Genoa) will give a talk titled "Bridges between classical and constructive reasoning for infinitary logic"

Countabilism is the view according to which every infinite collection is countable. We discuss this view in an online workshop.