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

Collection and Contra-collection in Mathematics

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

  • UserPaulo Oliva, Queen Mary, University of London
  • ClockFriday 06 October 2006, 14:00-15:00
  • HouseFW11.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2018 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity