Date: Mar 25, 2013 7:45 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 24 Mrz., 23:13, "Ross A. Finlayson" <ross.finlay...@gmail.com>
wrote:
> On Mar 24, 2:51 pm, fom <fomJ...@nyms.net> wrote:
>
>
>
>
>

> > On 3/24/2013 4:34 PM, WM wrote:
>
> > > On 24 Mrz., 21:29, Virgil <vir...@ligriv.com> wrote:
> > >> In article
> > >> <729f073f-8948-4eb9-991a-2bd249ac5...@c6g2000yqh.googlegroups.com>,

>
> > >> A binary tree that contains one path of each positive natural number
> > >> length will necessarily also contain exactly one path of infinite length.

>
> > > Like the sequence
> > > 0.1
> > > 0.11
> > > 0.111
> > > ...
> > > that necessarily also contains its limit?

>
> A binary tree that contains one path, of all zero-branches, of each
> finite length, will necessarily contain a path of 0-branches of
> infinite length.


If actual infinity exists. Otherwise it contains nothing more than all
finite paths. But here is a question that is easier to answer and to
decide: Does the Binary Tree that contains all rational paths also
contain all irrational paths?

Regards, WM