Re: [FWP] japhy had a silly idea...

[Ariel Scolnicov <ariels@compugen.co.il>]

andrew@pimlott.ne.mediaone.net (Andrew Pimlott) writes:

> On Tue, May 29, 2001 at 06:55:20AM +0100, Pense, Joachim wrote:
> > Is the proof of Schr?der-Bernstein constructive? That is, do we know that we
> > can produce an example of a real 1-1 mapping at all, or do we just have the
> > existence?
> 
> If this is the one that says two injections make a bijection, I'll
> go out on a limb and say I'm 99% sure, "yes".  I just don't see how
> you could do it without construction.

One direction requires Choice, IIRC.  Sorry.  But in a *specifc* case
(like we're discussing), we can replace the use of CSB with an
explicit construction, such as the one I supplied in some other
message.

So it's a red herring here.

-- 
Ariel Scolnicov        |"GCAAGAATTGAACTGTAG"            | ariels@compugen.co.il
Compugen Ltd.          |Tel: +972-2-5713025 (Jerusalem)	\ We recycle all our Hz
72 Pinhas Rosen St.    |Tel: +972-3-7658117 (Main office)`---------------------
Tel-Aviv 69512, ISRAEL |Fax: +972-3-7658555    http://3w.compugen.co.il/~ariels


==== Want to unsubscribe from Fun With Perl?  Well, if you insist...
==== Send email to <fwp-request@technofile.org> with message _body_
====   unsubscribe