Re: CANTOR's theorem

In article <1117710927.338525.40660@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
mueckenh@xxxxxxxxxxxxxxxxx wrote:

> Randy Poe wrote:
> > mueckenh@xxxxxxxxxxxxxxxxx wrote:
> > > Not even the map P(P(N)) --> P(N) is onto, if the impossible
> > > requirement is maintained.
> >
> > Suppose you showed me a proof that the square root
> > of 2 is irrational. A popular such proof begins by
> > assuming that sqrt(2) can be written in the form
> > a/b where a and b are nonzero integers. It then
> > shows this leads to a contradiction.
> >
> > Suppose I were to object that this proof is invalid
> > because there are no such a and b, that sqrt(2) = a/b
> > is "an impossible requirement".
> >
> > Would you consider that a valid objection to the
> > proof?
>
> It is quite a difference if you arrive at an absurd conclusion or if
> you start off with an absurd request.

Then stop making absurd requests.
.