Re: Cantor and the binary tree

In article <1120156663.576461.169790@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> mueckenh@xxxxxxxxxxxxxxxxx writes:
....
> No even number is the maximum of the set of all even numbers. But every
> even number is the maximum of its finite sequence. Therefore the set
> has no upper bound but is not infinite.
>
> Too difficult to comprehend? Try to draw the parallel to the values of
> even numbers. There is no maximum although no one is infinite.

Yes, too difficult to comprehend. The set has no upper bound, but is not
infinite. So you are saying the set is finite. I do not see the parallel
with the values of even numbers. Indeed the set of even numbers has no
maximum, but none of the elements of the set is infinite. There is a
distinction between "the set is not infinite" and "none of the elements
is infinite".
--
*** t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~***/
.

Quantcast