Collection and Contra-collection in Mathematics

Add to your list(s) Download to your calendar using vCal

• Paulo Oliva, Queen Mary, University of London
• Friday 06 October 2006, 14:00-15:00
• FW11.

If you have a question about this talk, please contact Tom Ridge.

In this talk I will discuss two interesting (ineffective) logical principles known as “collection” and “contra-collection”. These are vast generalisations of the well-known “fan theorem” and “weak König’s lemma”, respectively. The aim of the talk is to explain the logical and mathematical importance of these principles, and show with concrete examples how computational information can be obtained from mathematical proofs which use such non-computational principles.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW11
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.