Re: Cantor and the binary tree

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

> Virgil wrote:
> > In article <1116939502.814879.192170@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
> > mueckenh@xxxxxxxxxxxxxxxxx wrote:
> >
> > > Cantor and the binary tree.
> > >
> > > If we accept that, in binary digits, SUM{n = 1 ... oo} 2^-n = 0.111...
> > > = 1
> > >
> > > then all the real numbers of the interval [0,1] are realized as
> > > infinite paths of the binary tree
> > > .
> > > 0 1
> > > 0 1 0 1
> > > ..................
> > >
> > > too (read from top to bottom). Each number is given by a path
> > > stretching over infinitely many nodes (bits). All nodes (bits) of the
> > > tree are countable. The paths are not, according to Cantor's famous
> > > diagonal proof.
> >
> > So far so good.
>
> > One does not assume it, one proves it, as I have done several times.
> >
> > Here is an outline of that proof:
> >
> > Every node is represented by a terminating binary (starting at "." and
> > terminating at the node itself in the tree above) which is like a subset
> > of the rationals, which are countable.
> >
> > Every unending path is represented by a non-terminating binary (also
> > starting at "." but never ending), which surject onto the real interval
> > [0,1], and are thus as uncountable as the reals.
> >
> > That WM choses to reject proofs that show him wrong does not invalidate
> > such proofs.
>
> Cantor's proof is questioned, hence I do not accept it as an argument.
> Please find out at which step my arguing fails. As you seem to accept
> the first points, you may start at point 3.
>
> 1) Each number of (0,1) is given by a path stretching over infinitely
> many nodes (bits).
> 2) All nodes (bits) of the tree belong to a countable se.
> 3) A node can only exist within a path.
> 4) Any node increases the number of paths by 1 from 1 coming in, to 2
> going out. 2 - 1 = 1.
> 5) Any node increases the number of nodes by 1.
>
> Regards, WM

WM conflates bounded paths, having terminal of leaf nodes with unbounded
unending paths which have no terminal or leaf nodes.

1) Each number of (0,1) is given by an unending path stretching over
infinitely many nodes (bits).

2) All nodes (bits) of the tree belong to a countable set.
3) A node can only exist within a path.
4) Any node increases the number of ending paths by 1 from 1 coming in,
to 2> going out. 2 - 1 = 1.
5) Any node increases the number of nodes by 1.

All unending paths in an unending binary tree contain infinitely many
nodes.

The number of leaf nodes exactly equals the number of ending or finite
paths in any finite binary tree (in which all paths end).

Considering the binary tree whose root is "." and each branch is
indicated by a "0" or a "1", each leaf node, and therefore each path, is
represented by a terminating binary fraction , but each unending path is
represented by a non-terminating binary fraction.

There are moreof the non-terminating than of the terminating.

So
.

Relevant Pages

  • Re: Cantor and the binary tree
    ... > nothing to do with the number of unending paths. ... > paths in any finite binary tree. ... infinite in he tree. ... > There are moreof the non-terminating than of the terminating. ...
    (sci.math)
  • Re: Cantor and the binary tree
    ... > say much about infinite sets and Cantor's theorem, ... The set of leaf nodes and the set of finite or terminating paths are ... nothing to do with the number of unending paths. ... All unending paths in an unending binary tree contain infinitely many ...
    (sci.math)
  • Re: Approaching the infinite binary tree
    ... But there are infinite paths in the complete binary tree that do ... It is your dogma, not ours, that you are being bit by. ... and all of them can be bijected with N. The set of even naturals, ...
    (sci.math)
  • Re: An uncountable countable set
    ... Because one can biject the set of edges with the naturals and biject the ... members in any power set that in the set itself. ... represents what happens in an infinite tree. ... paths in the infinite binary tree and the power set of the set of paths, ...
    (sci.math)
  • Re: Cantor Confusion
    ... A potentially infinite quantity is always finite. ... representation has a finite index n. ... Note that also the union of all finite initial segments of N, {1, 2, 3, ... A finite binary tree is the infinite binary tree, ...
    (sci.math)