Re: Cantor and the binary tree



Virgil wrote:

> In a maximal binary tree, there is no path that "has an edge"(by which I
> presume WM means what we call a branch) to itself, since for any branch
> in any path, there are infinitely many other paths sharing that branch.
>

> No maximal path ever becomes 'separate' from ALL other maximal paths
> simultaneously, but any two such paths will eventually "separate".

That is uninteresting. Any path of an irrational number is always (in
the whole tree) accompanied by infinitely many paths which are due to
terminating rational numbers. These form a bunch which does never
separate. The due numbers are one and the same number. ==> Irrationals
do not exist.

Regards, WM

.