Date: Apr 4, 2013 3:45 PM
Author: fom
Subject: Re: Matheology § 224

On 4/4/2013 1:22 PM, WM wrote:
<snip>
>
> Abandon your untenable position. Or try (and fail) to define a limit
> that distinguishes both Binary Trees.


One tree has individual marks at each branch point.

The other tree has, at each branch point, the finite
initial segment of marks corresponding to its own mark
juxtaposed to the sequence of marks juxtaposed at the
branch points of its predecessors

Limits have nothing to do with your nonsense.

There are no "finite paths". There can, however,
be labels corresponding to initial segment
descriptions.