Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Re: distinguishability - in context, according to definitions
Posted:
Feb 21, 2013 3:52 AM
|
|
In <t7CdnaT9sata6LnMnZ2dnUVZ_qCdnZ2d@giganews.com>, on 02/20/2013
at 01:05 AM, fom <fomJUNK@nyms.net> said:
>You seem to be thinking in terms of the Cantorian fundamental
>sequences.
No, I'm thinking of the *definition* of a metric; it's aq real-valued
function. You can't have a metric without first having reals.
>But logic does not begin with a metric in its assertions.
So why try to shoehorn metrics, or topology, into a discussion of
logic?
--
Shmuel (Seymour J.) Metz, SysProg and JOAT <http://patriot.net/~shmuel>
Unsolicited bulk E-mail subject to legal action. I reserve the
right to publicly post or ridicule any abusive E-mail. Reply to
domain Patriot dot net user shmuel+news to contact me. Do not
reply to spamtrap@library.lspace.org
|
|
|
|
