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 ]
 fom Posts: 1,968 Registered: 12/4/12
Re: distinguishability - in context, according to definitions
Posted: Feb 17, 2013 1:20 PM

On 2/17/2013 9:10 AM, Shmuel (Seymour J.) Metz wrote:
> In <WvKdnStB4bTi9YDMnZ2dnUVZ_oWdnZ2d@giganews.com>, on 02/14/2013
> at 04:42 PM, fom <fomJUNK@nyms.net> said:
>

>> Here are descriptions of the received paradigm
>> for use of the sign of equality

>
> They don't clarify the sentence I asked about. How are two distinct
> sequences ontologically the same, even if both are eventually
> constant? They can certainly have the same limit, but that is a
> different matter.
>

I am sorry. Your objection to the statement is
clear to me now. My statement badly expressed
what was intended.

There is a distinction in identity statements
between

trivial, or formal, identity

x=x

and informative identity

x=y

In the latter case, there is a distinction between
when it is stipulative and when it is licensing
epistemic warrant.

The algebraic proof licenses the epistemic
warrant for the substitutivity of the
symbols.

But, in the received paradigm for identity taken
from first-order predicate logic, all instances
of

x=y

are stipulative.

This is not how I understand mathematics. It
is something I strive to reconcile with my
understanding of matters -- as meager as that
may be.

Almost every reputable mathematics department is
giving courses in "mathematical logic," presumably

There is nothing the matter with the deductive
calculus. So long as the semantic unit is a proof
with quantificationally closed assumptions and
quantificationally closed conclusions, one may
speak of faithful representation in the algebraic
sense.

But, in the "logical" sense,

1.000... = 0.999...

is merely a stipulation of syntactic equality
between distinct inscriptions that is prior
to any mathematical discourse.

I hope that helps. It is difficult to
explain things with which one disagrees.

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