Date: Apr 4, 2013 5:49 PM
Author: fom
Subject: Re: Matheology § 224

On 4/4/2013 4:19 PM, Virgil wrote:
> In article
> <5f6f41ad-8806-4d97-8e54-d00fd898f458@cm2g2000vbb.googlegroups.com>,
> WM <mueckenh@rz.fh-augsburg.de> wrote:
>

>> On 4 Apr., 22:37, Virgil <vir...@ligriv.com> wrote:
>>

>>>> In the Binary Tree there is no stop at any path.
>>>
>>> By the time one has a path one has infinitely many nodes in it, at least
>>> for a CIBT.

>>
>> Of course. If all FISONs are there, then all infinite paths are there
>> too.

>>>
>>>> Or try (and fail) to define a limit
>>>> that distinguishes both Binary Trees.

>>>
>>> The only binary tree of interest here is the Complete Infinite Binary
>>> Tree in which each path is order isomorphic to |N.

>>
>> Of course.

>
> Mirabile dictu: WM finally conceding to logic?.
>


It is just his habit of rhetoric. Do not be fooled.