Re: terminology
Date: 18 Jun 2006 19:28:49 -0700
Message-ID: <1150684129.586585.39740_at_h76g2000cwa.googlegroups.com>
Cimode wrote:
> Marshall wrote:
> > [First of all, I assume "r.t." means "relational theory" and "fopl"
> > is "first order predicate logic." Correct me if I guessed wrong.]
> >
> > Certainly there are different contexts in which the term "variable"
> > is used, and across those different contexts there may be
> > incompatible meanings. I was speaking of the programming
> > languages theory ("PLT") context. So I am speaking of regular
> > data variables, rather than logic variables--they are quite
> > different.
> An integer is an integer whether you speak of Math, of PL or
> whatever...
> An arythmetic operation is an arithmetic operation regardless of field
> of application
> RM is pure math applied and what you state is that the application
> redefines the fundamental concepts...
>
> > Thanks for pointing out that distinction.
> >
> >
> > Marshall