Consistency of Quine's NF using nominal techniques

Jamie Gabbay (Heriot Watt)

Frank Adams 1,

I will outline a proof of the consistency of Quine's New Foundations using nominal techniques.  Quine's NF is a mathematical foundation with interesting properties, which has so far resisted any proof of consistency.
I will describe NF, why its consistency matters, why it is difficult to prove, why trying to do it is interesting---and not just for NF-istes---and how the "nominal" proof works.
Expertise in NF and nominal techniques will not be required.

Import this event to your Outlook calendar
▲ Up to the top