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 not a specialist on this stuff > but I think Bruno, for example, will back me up.) It must be the > case that you won't let us identify the left side, for example, with > {omega, 0, 1, 2, ... }, will you? For if you did, it would fall under > Cantor's argument. I agree. Presently, I prefer not talking too much on the ordinals, because it could be confusing for many. More later ... Bruno http://iridia.ulb.ac.be/~marchal/ --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [EMAIL PROTECTED] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---