Slides. Paused slides.

This will be a talk in the Oslo CFORS/Infinity and intensionality seminar. We’ll talk about different challenges facing imperatival or postulationist approaches to mathematical foundations.