COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Collection and Contra-collection in Mathematics

## Collection and Contra-collection in MathematicsAdd 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)
- Computer Laboratory talks
- Computing and Mathematics
- FW11
- Logic and Semantics Seminar (Computer Laboratory)
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
Note that ex-directory lists are not shown. |
## Other listsPathology Valedictory Seminars Homerton 250 RCEAL Tuesday Colloquia## Other talksMEASUREMENT SYSTEMS AND INSTRUMENTATION IN THE OIL AND GAS INDUSTRY Autumn Cactus & Succulent Show The Chemistry of Planet Formation and the Making of Habitable Planets Hypergraph Saturation Irregularities Cellular recycling: role of autophagy in aging and disease Locomotion in extinct giant kangaroos? Hopping for resolution. |