Re: Attempts to Refute Cantor's Uncountability Proof?

*** T. Winter wrote:

In article <BPqdnbM13PiEBy7ZnZ2dnUVZ_qydnZ2d@xxxxxxxxxxxxx> Hatto von
Aquitanien <abbot@xxxxxxxxxxxxxx> writes: ...
> > And we don't need to "suppose" we have a counted list of rational
> > numbers.
> > It's been done. See, for example,
> >
<http://www.lacim.uqam.ca:16080/~plouffe/OEIS/citations/recounting.pdf>.
>
> No, you have an algorithm. I can produce an algorithm for generating
> "all" the "reals" iteratively. In a finite number of steps, it will
> only produce rationals, but I can show that it approaches the reals
> with every iteration.

But there will be no step that you generate an irrational. While in the
algorithm for the rationals, for each rational there is a finite step that
it is generated.

What I'm trying to get at is the essential difference between these two
concepts. One says I can visit each rational number and assign a serial
number to it, ad infinitum. Of course that really says _IF_ we could
actually perform that infinite number of steps... At some point we make a
transition from "if we could" do "we can". We do something similar to my
algorithm when defining or "proving" integration as a limit of a Riemann
sum. The reason we reject my algorithm is because we "know" it will never
exactly produce a number with an infinite decimal expression in a finite
number of iterations. We can show that through induction as I did
previously. But I could say the same thing about Riemann sums.

There appears to be an essential distinction between these two situations
which makes one acceptable, and the other one unacceptable. With the case
of Riemann sums, we have a bound index variable to enumerate the individual
rectangles we are summing over. If I try to draw an analogy between the
index of each rectangle of a Riemann sum and the index I'm generating with
my algorithm, something has to be different. But I'm not sure I know what
that something is.
--
Nil conscire sibi
.

Quantcast