Speaker:Dr Thomas Forster (DPMMS)
Venue: Old Combination Room, Trinity College
Time: 05/11/2007 20:30, drinks from 20:15

Russell and Whitehead famously avoided the paradoxes by regimenting sets (and languages) into disjoint levels in a system called Type Theory. Over the years this approach and the Zermelo-Fraenkel approach have diverged greatly; since the ZF approach is much better known there are now some interesting backwaters which invite closer attention than they usually get. This talk will be an introduction to the descendents of type theory and will try to make connections with other themes in the philosophy of mathematics.