BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Collection and Contra-collection in Mathematics - Paulo Oliva\, Qu
 een Mary\, University of London
DTSTART:20061006T130000Z
DTEND:20061006T140000Z
UID:TALK5549@talks.cam.ac.uk
CONTACT:Tom Ridge
DESCRIPTION:In this talk I will discuss two interesting (ineffective) logi
 cal principles known as "collection" and "contra-collection". These are va
 st generalisations of the well-known "fan theorem" and "weak König's lemm
 a"\, respectively. The aim of the talk is to explain the logical and mathe
 matical importance of these principles\, and show with concrete examples h
 ow computational information can be obtained from mathematical proofs whic
 h use such non-computational principles.\n\n
LOCATION:FW11
END:VEVENT
END:VCALENDAR