[Date Prev][Date Next][Thread Prev][Thread Next] [Search] [Date Index] [Thread Index]

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



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.

Now, I'll try to find a book and bore you with an update if I turn
out to be wrong.

Andrew

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