Date: Mar 31, 2013 12:45 PM
Author: fom
Subject: Re: Matheology § 224

On 3/31/2013 10:52 AM, Ross A. Finlayson wrote:
>
> Well, you see Virgil has introduced a term in context the "binary
> rational path": in cooperative communication that is so defined
> there, because that every initial segment is the initial segment of a
> rational, and that the language of "rational paths" is unbounded,
> doesn't offer for him the conclusion of his arguments. So, he expects
> that to be understood as his definition in passing, or he can point to
> it later, as to differentiating his personal definition from the
> general definition, as so qualified.
>


Apparently, however, they do have a named
status as a number class,

http://en.wikipedia.org/wiki/Dyadic_rational


It is just not the name that Virgil used.

They are a dense subset in the topological
sense.