[Date Prev][Date Next][Thread Prev][Thread Next]
[Search]
[Date Index]
[Thread Index]
Re: [FWP] japhy had a silly idea...
- To: "Pense, Joachim" <joachim.pense@eds.com>
- Subject: Re: [FWP] japhy had a silly idea...
- From: andrew@pimlott.ne.mediaone.net (Andrew Pimlott)
- Date: Tue, 29 May 2001 02:06:19 -0400
- Cc: "'Daniel S. Wilkerson'" <dsw@digital-integrity.com>, Bernie Cosell <bernie@fantasyfarm.com>, fwp@technofile.org
- Content-Disposition: inline
- Delivered-To: irons-bumppo:net-mpfwp@bumppo.net
- In-Reply-To: <43EB41D0BCEDD2118C310020AFFC1669010CA349@es160298.ws.ru.de.eds.com>; from joachim.pense@eds.com on Tue, May 29, 2001 at 06:55:20AM +0100
- Mail-Followup-To: "Pense, Joachim" <joachim.pense@eds.com>,"'Daniel S. Wilkerson'" <dsw@digital-integrity.com>,Bernie Cosell <bernie@fantasyfarm.com>, fwp@technofile.org
- References: <43EB41D0BCEDD2118C310020AFFC1669010CA349@es160298.ws.ru.de.eds.com>
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