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.