Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: distinguishability - in context, according to definitions
Replies: 43   Last Post: Feb 22, 2013 10:04 AM

 Messages: [ Previous | Next ]
 Shmuel (Seymour J.) Metz Posts: 3,473 Registered: 12/4/04
Re: distinguishability - in context, according to definitions
Posted: Feb 22, 2013 10:04 AM

In <C-2dnY1u28kdULvMnZ2dnUVZ_jWdnZ2d@giganews.com>, on 02/21/2013
at 07:44 PM, fom <fomJUNK@nyms.net> said:

>My point is that the very syntax of a first-order language can be
>recognized as a minimal Hausdorff topology as soon as one places a
>mutually exclusive bivalent truth functionality onto its symbols.

Only in the context of another system for which you have developed all
of the machinery.

>Moreover, you cannot divorce this structure from a logic intended
>as a deductive calculus because what makes it interpretable as a
>deductive calculus is its relationship to the truth-conditions of
>interpretations.

We have no choice; we need a deductive calculus to derive the theorems
of Topology. Only once we have done so can we apply Topology to a
different deductive calculus.

--
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

Date Subject Author
2/10/13 fom
2/10/13 J. Antonio Perez M.
2/10/13 fom
2/11/13 Shmuel (Seymour J.) Metz
2/11/13 fom
2/14/13 Shmuel (Seymour J.) Metz
2/14/13 fom
2/14/13 fom
2/15/13 fom
2/15/13 Shmuel (Seymour J.) Metz
2/16/13 fom
2/17/13 Shmuel (Seymour J.) Metz
2/19/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/15/13 fom
2/15/13 fom
2/14/13 fom
2/17/13 Shmuel (Seymour J.) Metz
2/17/13 fom
2/17/13 Barb Knox
2/18/13 fom
2/19/13 Shmuel (Seymour J.) Metz
2/19/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/19/13 Shmuel (Seymour J.) Metz
2/19/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/21/13 fom
2/22/13 Shmuel (Seymour J.) Metz
2/15/13 fom
2/17/13 Shmuel (Seymour J.) Metz
2/17/13 fom
2/19/13 Shmuel (Seymour J.) Metz
2/16/13 dan.ms.chaos@gmail.com
2/16/13 fom
2/17/13 dan.ms.chaos@gmail.com
2/17/13 fom
2/17/13 dan.ms.chaos@gmail.com
2/18/13 Shmuel (Seymour J.) Metz
2/20/13 fom
2/21/13 Shmuel (Seymour J.) Metz
2/16/13 fom
2/19/13 Shmuel (Seymour J.) Metz
2/19/13 fom