Re: elaboration Re: Cantor's Diagonal

2007-11-22 Thread Bruno Marchal
Le 22-nov.-07, à 07:19, Barry Brent a écrit : > > The reason it isn't a bijection (of a denumerable set with the set of > binary sequences): the pre-image (the left side of your map) isn't > a set--you've imposed an ordering. Sets, qua sets, don't have > orderings. Orderings are extra. (I'm

elaboration Re: Cantor's Diagonal

2007-11-21 Thread Barry Brent
The reason it isn't a bijection (of a denumerable set with the set of binary sequences): the pre-image (the left side of your map) isn't a set--you've imposed an ordering. Sets, qua sets, don't have orderings. Orderings are extra. (I'm not a specialist on this stuff but I think Bruno,