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.