Re: CANTOR's theorem

From: "Randy Poe" <poespam-trap@xxxxxxxxx>
Date: 1 Jun 2005 09:30:41 -0700

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?

- Randy

.

Follow-Ups:
- Re: CANTOR's theorem
  - From: mueckenh
- Re: CANTOR's theorem
  - From: Christopher J. Henrich

References:
- Re: CANTOR's theorem
  - From: mueckenh

Prev by Date: Re: Cantor and the binary tree
Next by Date: Re: Polynomial Growth of Taylor Series Coefficients
Previous by thread: Re: CANTOR's theorem
Next by thread: Re: CANTOR's theorem
Index(es):
- Date
- Thread

Relevant Pages

Re: CANTORs theorem
... A popular such proof begins by ... > a/b where a and b are nonzero integers. ... > Would you consider that a valid objection to the ... but of the prover who nisists on inferring a contradiction. ...
(sci.math)
Re: CANTORs theorem
... > Suppose you showed me a proof that the square root ... > a/b where a and b are nonzero integers. ... > Would you consider that a valid objection to the ... you start off with an absurd request. ...
(sci.math)
Re: abundance of irrationals
... >Weierstrass, Cantor) couldn't know. ... Trying to change mathematics to only include the numbers that can be ... If the square root of two is a/b, then, if a/b is expressed in lowest ...
(sci.math)