![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Paulo Oliva, Queen Mary, University of London
Friday 06 October 2006, 14:00-15:00
Collection and Contra-collection in Mathematics
- 👤 Speaker: Paulo Oliva, Queen Mary, University of London
- 📅 Date & Time: Friday 06 October 2006, 14:00 - 15:00
- 📍 Venue: FW11
Questions? Contact
Tom Ridge
Abstract
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.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- FW11
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- School of Technology
- tcw57’s list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.