Date: Mar 30, 2013 10:14 PM
Author: fom
Subject: Re: Matheology § 224

On 3/30/2013 5:45 PM, WM wrote:
>
> Then explain why this is not possible in the Binary Tree. You said
> that the irrationals come into the tree automatically, impossible to
> distinguish by nodes.


No one is saying things like "come into the
tree" except WM.

There is no such thing as a finite path in
a complete infinite binary tree.

There is a logical type difference between
the class of individuals in the complete
infinite binary tree sharing the same finite
initial segment and the the representation
of the finite initial segment shared by that
class.

By the way, it looks like WM took his ball
home and does not want to play with me
anymore.