Date: Mar 31, 2013 11:44 AM
Subject: Re: Matheology § 224
On Mar 30, 10:35 pm, Virgil <vir...@ligriv.com> wrote:
> In article
> "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:
> > > Something that everyone who understands anything about Complete Infinite
> > > Binary Trees should know but WM apparently does not.
> > > --
> > Those aren't all the rational sequences, only integral products of
> > negative powers of two.
> Any product, integral or otherwise, of negative powers of two is a
> negative power of two.
Those aren't all the rational sequences: only the products of
integers and negative powers of two. (Here they're well enough
Any path with sub-path ((0|1)+)\infty is also a rational sequence.
Paths are distinguishable by their nodes, and distinguished by their
nodes: there are countably many.