BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Junior Algebra/Logic/Number Theory seminar
SUMMARY:Quine’s “New Foundations” Set Theory - Zac McKenzi
e\, Cambridge
DTSTART;TZID=Europe/London:20100212T140000
DTEND;TZID=Europe/London:20100212T150000
UID:TALK22303AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/22303
DESCRIPTION:Since its conception in 1937 Quine’s set theory\,
now referred to as NF\, has shown itself to be bot
h a rich and enigmatic theory. I will give a brief
introduction to NF discussing what we do and do n
ot know about this theory. The only known general
technique that yields independence results for NF
is the permutation method first developed by Riege
r and Bernays. I will discuss the applications of
this technique and point out some of its limitatio
ns. If time permits I will also talk about some of
the key questions about NF that still remain unan
swered.
LOCATION:MR13
CONTACT:Chris Bowman
END:VEVENT
END:VCALENDAR