University of Oxford
Faculty of Philosophy
University of Oxford
Search

Philosophy of Mathematics Seminar (Monday - Week 6, HT25)

Philosophy of Mathematics Seminar
24 February 2025
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 

 

Philosophy of Mathematics Seminar

Digest Week 6 Hilary Term 2025

18 November 2024