Re: Fraud Number 3: U-Gene

From: Cimode <cimode_at_hotmail.com>
Date: 21 Jun 2006 04:19:22 -0700
Message-ID: <1150888762.848088.57190_at_g10g2000cwb.googlegroups.com>


Tony D wrote:
> Cimode wrote:
>
> > > But an attribute is a variable in the sense that predicate calculus uses
> > > 'variable' even if one cannot use imperative statements to change it.
>
> > Again a variable be it an elementary relvar (attribute), is not
> > varying. Variable is a value holder whith its content extracted from a
> > domain (values) that vary over time. I have proved that point with an
> > analogy and a question, Tony D has refuses to respond to because it
> > constitutes a paradow to his definition that proves him wrong.
> >
>
> I think we are at cross purposes on the definition of variable here.
> Variables come in (at least) two distinct kinds : the 3GL kind, which
> is basically a name for an updateable bit of store, or the
> mathematical/propositional logic place holder kind. So far, I've been
> going on the basis that relvars are of the 3GL kind. Is this merely a
> Tutorial D-ism ?
Variable and values are defined at logical abstract level not at implementation language definition level. Defining variables at implementation level produces anything but confusion...

> I don't think there is any "paradow", or even paradox (which I assume
> you meant) here. Only a difference in definition.
Received on Wed Jun 21 2006 - 13:19:22 CEST

Original text of this message