Philosophy of Mathematics seminar

Randall Holmes (University of Idaho Boise)

Quine’s set theory NF: a briefing in the light of recent developments

Quine’s set theory NF is now known (after 85 years!) to be consistent. In this talk I will outline the history leading to my proof of this fact, sketch how it works, explain what it means, and why we should care. Notes for this talk will be at www.dpmms.cam.ac.uk/~tef10/oxfordtalk.pdf

Thomas Forster was unable to give this talk as scheduled. Randall Holmes kindly agreed at very short notice to speak instead.