Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology � 233
Replies: 37   Last Post: May 12, 2014 10:24 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 233
Posted: Apr 2, 2013 5:56 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 2 Apr., 02:01, Virgil <vir...@ligriv.com> wrote:
> > In article
> >
> >
> >
> >
> >
> >  WM <mueck...@rz.fh-augsburg.de> wrote:

> > > On 1 Apr., 22:44, Virgil <vir...@ligriv.com> wrote:
> >
> > > > > You do not believe that a sequence or list of all rational numbers can
> > > > > be constructed?

> >
> > > > One can "enumerate" the set of all rationals by formula, as has been
> > > > quite often done, but not by physically listing all of them.

> >
> > > A formula giving every entry is enough.
> >
> > > > Note that one cannot ennumerate by listing even sufficiently large
> > > > finite sets, so being listable other than by formula is not a relevant
> > > > criterion.

> >
> > > Constructing a list by a formula is enough to prove what I said.
> >
> > And enough to disprove what WM has said as well.

>
> Then try it.
> What did I say?

Among other things, WM has said that in a COMPLETE INFINITE BINARY TREE
there are paths of finite length, but as paths are, by definition, only
MAXIMAL sequences of parent-child linked nodes and EVERY node has child
nodes, there cannot be any such sequence of parent-child linked nodes
which is both finite and maximal.

What WM miscalls paths are merely FISONs (finite initial sequences of
nodes), no one of which fails to be a PROPER subset of some other FISON,
and thus cannot be maximal and thus cannot be a path.
--

Date Subject Author
3/27/13 Virgil
3/28/13 mueckenh@rz.fh-augsburg.de
3/28/13 fom
3/28/13 fom
3/28/13 fom
3/28/13 rt servo
3/28/13 fom
3/28/13 fom
3/28/13 Virgil
3/28/13 fom
3/30/13 mueckenh@rz.fh-augsburg.de
3/30/13 fom
3/30/13 ross.finlayson@gmail.com
3/30/13 Virgil
3/30/13 Virgil
3/30/13 mueckenh@rz.fh-augsburg.de
3/30/13 Virgil
3/30/13 ross.finlayson@gmail.com
3/31/13 Virgil
3/30/13 fom
5/12/14 ross.finlayson@gmail.com
3/31/13 mueckenh@rz.fh-augsburg.de
3/31/13 fom
3/31/13 Virgil
3/31/13 mueckenh@rz.fh-augsburg.de
3/31/13 fom
3/31/13 Virgil
4/1/13 mueckenh@rz.fh-augsburg.de
4/1/13 fom
4/1/13 Virgil
4/1/13 mueckenh@rz.fh-augsburg.de
4/1/13 Virgil
4/2/13 mueckenh@rz.fh-augsburg.de
4/2/13 Virgil
3/27/13 fom