Philosophy of Mathematics Seminar (Monday - Week 6, HT25)
Monday 24 February, 8:00pm
Online via Zoom (8pm)
Thomas Forster (University of Cambridge and Victoria University of Wellington): 'On the consistency of Quine's set theory NF: a briefing in the light of recent developments'
Abstract: Quine's set theory NF is now known (after 85 years!) to be consistent. In this talk I will outline the history leading to Randall Holmes’ proof of this fact, sketch how it works, explain what it means, and why we should care. I am aiming this talk at a general - if sophisticated - logical audience. Notes for this talk will be at www.dpmms.cam.ac.uk/~tef10/oxfordtalk.pdf .
Philosophy of Mathematics Seminar Convenors: Daniel Isaacson and Christopher Scambler
