University of Cambridge > Talks.cam > Junior Algebra/Logic/Number Theory seminar > Quine’s “New Foundations” Set Theory

Quine’s “New Foundations” Set Theory

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

  • UserZac McKenzie, Cambridge
  • ClockFriday 12 February 2010, 14:00-15:00
  • HouseMR13.

If you have a question about this talk, please contact Chris Bowman.

Since its conception in 1937 Quine’s set theory, now referred to as NF, has shown itself to be both a rich and enigmatic theory. I will give a brief introduction to NF discussing what we do and do not know about this theory. The only known general technique that yields independence results for NF is the permutation method first developed by Rieger and Bernays. I will discuss the applications of this technique and point out some of its limitations. If time permits I will also talk about some of the key questions about NF that still remain unanswered.

This talk is part of the Junior Algebra/Logic/Number Theory seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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