Re: Columns without names

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Wed, 20 Sep 2006 02:56:36 GMT
Message-ID: <E52Qg.29653$9u.281424@ursa-nb00s0.nbnet.nb.ca>

JOG wrote:

> While I have your attention perhaps you might also clarify a
> distinction that I previously had:
>
> I was under the impression that - given that the extension of a
> predicate is the set of true propositions that can be formed by
> substituting a term for each of its free variables - a predicate
> /always/ has an extension. In contrast a set defined such as { m/n :
> m,n E Z & n!=0 } (rational numbers) is infinite and cannot be
> enumerated.
>
> Is this distinction incorrect?

Unless you mean something different by "enumerated", I have to note that the rationals are countably infinite. Received on Tue Sep 19 2006 - 21:56:36 CDT