"New Foundations" and Consistency

Thomas Forster (Cambridge) gives a talk at the MCMP Colloquium (16 May, 2012) about Quine's "New Foundations". Abstract: There are rumours circulating that Quine's axiomatic set theory "New Foundations" has been proved consistent. If these rumours are correct the set theoretic landscape will have its most radical revamp for more than half a century, and we will all need to re-tool. This talk will provide historical background and glimpse into how the result might be proved.