BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Quine’s “New Foundations” Set Theory - Zac McKenzie\, Cambri
 dge
DTSTART:20100212T140000Z
DTEND:20100212T150000Z
UID:TALK22303@talks.cam.ac.uk
CONTACT:Chris Bowman
DESCRIPTION:Since its conception in 1937 Quine’s set theory\, now referr
 ed to as NF\, has shown itself to be both a rich and enigmatic theory. I w
 ill give a brief introduction to NF discussing what we do and do not know 
 about this theory. The only known general technique that yields independen
 ce results for NF is the permutation method first developed by Rieger and 
 Bernays. I will discuss the applications of this technique and point out s
 ome of its limitations. If time permits I will also talk about some of the
  key questions about NF that still remain unanswered.    
LOCATION:MR13
END:VEVENT
END:VCALENDAR