[Haskell-cafe] type metaphysics

Andrew Butterfield Andrew.Butterfield at cs.tcd.ie
Mon Feb 2 11:05:13 EST 2009

Martijn van Steenbergen wrote:
>> To my naive mind this sounds
>> suspiciously like the set of all sets, so it's too big to be a set.
> Here you're probably thinking about the distinction between countable 
> and uncountable sets. See also:
> http://en.wikipedia.org/wiki/Countable_set
No - it's even bigger than those !

He is thinking of proper classes, not sets.


Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
School of Computer Science and Statistics,
Room F.13, O'Reilly Institute, Trinity College, University of Dublin

More information about the Haskell-Cafe mailing list