Re: terminology
Date: 18 Jun 2006 12:42:37 -0700
Message-ID: <1150659757.009289.179820_at_c74g2000cwc.googlegroups.com>
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
Received on Sun Jun 18 2006 - 21:42:37 CEST