Re: terminology

From: Cimode <>
Date: 18 Jun 2006 12:42:37 -0700
Message-ID: <>

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

Original text of this message