Date: 18 Jun 2006 12:42:37 -0700
> [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
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.
Received on Sun Jun 18 2006 - 21:42:37 CEST